Język rekurencyjnie przeliczalny: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
m →Własności: drobne redakcyjne |
m Wspomagane przez robota ujednoznacznienie: Przegląd zagadnień z zakresu matematyki - Zmieniono link(i) Wikipedia:Skarbnica Wikipedii/Przegląd zagadnień z zakresu matematyki; zmiany kosmetyczne |
||
Linia 6:
# [[Zbiór rekurencyjnie przeliczalny|Rekurencyjnie przeliczalny]] [[podzbiór]] [[Zbiór|zbioru]] wszystkich słów nad danym alfabetem.
# Język formalny, dla którego istnieje [[
# Język formalny ''L'', dla którego problem czy słowo <math>x \in L</math> jest [[Problem nierozstrzygalny|nierozstrzygalny]]<ref>{{cytuj stronę| url = http://home.agh.edu.pl/~tekomp/files/ta-wyklady/2-2-Gramatyki.pdf| tytuł = Gramatyki, wyprowadzenia, hierarchia Chomsky'ego| data dostępu = 15 września 2009| autor = dr inż. Janusz Majewski| opublikowany = 2009-03-25 | praca = [http://home.agh.edu.pl/~tekomp/ Materiały wykładowe dla studentów informatyki AGH - teoria automatów i języków formalnych]}}</ref>.
Linia 19:
== Zobacz też ==
* [[Wikipedia:Skarbnica Wikipedii/Przegląd zagadnień z zakresu matematyki|przegląd zagadnień z zakresu matematyki]]
* [[funkcja rekurencyjna]]
* [[teoria rekursji]]
== Przypisy ==
|