Slovník pojmů (ve vývoji)
All categories |
VĚTA |
---|
Postova větaJazyk $L$ je rekurzivní, právě když $L$ i $\overline{L}$ (doplněk) jsou rekurzivně spočetné. | |
Uzávěrové vlastnosti
| ||||||||||||||||||||||||||||
ZKRATKY |
---|
FAviz konečné automaty (finite automata) | |
All categories |
VĚTA |
---|
Postova větaJazyk $L$ je rekurzivní, právě když $L$ i $\overline{L}$ (doplněk) jsou rekurzivně spočetné. | |
Uzávěrové vlastnosti
| ||||||||||||||||||||||||||||
ZKRATKY |
---|
FAviz konečné automaty (finite automata) | |