„Absztrakt automata” változatai közötti eltérés

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
a →‎Referenciák: nem létező kategória cseréje
szavak -> betűk
3. sor:
Nézzünk előbb egy pár definíciót, ami később megkönnyítheti az életünket:
; Betű : Itt tényleg egy betűre lehet gondolni. Persze, csak ''gondolni'', hiszen ennek nem kell ''tényleg'' betűnek lennie. Lehet bármilyen szimbólum, amíg az a valami egység és megkülönböztethető a többitől.
; Szó : Betűk egy ''véges'' sorozata, amely ''szavakbetűk'' [[konkatenáció]]jából születhet. Az önmagában álló betűt azonosíthatjuk az egy betűből álló szóval.
; Ábécé : Betűk ''véges'' halmaza.
; Nyelv : Szavak halmaza egy adott ábécé felett. (Minden szó az adott ábécé betűiből áll.) Lehet véges, vagy végtelen.