pátek, 29. března 2024, 07.54
Stránky: Moodle UK pro výuku 1
Kurz: Automaty a gramatiky (Automaty a gramatiky)
Slovník: Slovník pojmů (ve vývoji)
VĚTA
Myhill--Nerodova větaNechť $L$ je jazyk nad konečnou abecedou $\Sigma$. Potom následující tvrzení jsou ekvivalentní: |
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) |