img196
196
D3. Podstawowe pojęcia teorii języków formalnych i automatów
Zapis 6(q> 7) = (g',*?) oznacza, źe po przeczytaniu ciągu 7 € Sj z wejścia, transdjuser przechodzi ze stanu q do stanu q' i wypisuje ciąg rj € A* na wyjście.
Dla 7 G ciąg rj = ST(7) jest napisem wyjściowym wtedy i tylko wtedy, gdy istnieją ciągi
Ti) • • • >7* € EJ, r)iG A*, 9i,...,gjbGQ
takie, źe
1) 7 = Ti •• -7*.
2) »? = m-m,
3) %i,7i+i) = («+i,i»+i), » = o, 1,1, ?0 € Go.
Wyszukiwarka
Podobne podstrony:
img193 D3. Podstawowe pojęcia teorii języków formalnych i automatów 193 t) -i-> 7 oznacza wyprowa
img192 192 D3. Podstawowe pojęcia teorii języków formalnych i automatów Zakładamy przy tym, że £ = £
img194 194 D3. Podstawowe pojęcia teorii języków formalnych i automatów Innymi słowy, z każdego niet
img195 195 D3. Podstawowe pojęcia teorii języków formalnych i automatów ciąg numerów produkcji grama
img191 Dodatek 3Podstawowe pojęcia teorii języków formalnych i automatów Podstawowe pojęcia teorii j
img191 Dodatek 3Podstawowe pojęcia teorii języków formalnych i automatów Podstawowe pojęcia teorii j
img197 Dodatek 4Wybrane pojęcia teorii języków drzewowych i grafowych W dodatku znajdują się definic
img197 Dodatek 4Wybrane pojęcia teorii języków drzewowych i grafowych W dodatku znajdują się definic
img198 198 D4. Wybrane pojęcia teorii języków drzewowych i grafowych gdzie j4,i4i,j42ł...,j4r(a) € E
img199 D4. Wybrane pojęcia teorii języków drzewowych i grafowych 199 Automatem %DF
więcej podobnych podstron