Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /

This textbook introduces formal languages and automata theory for upper-level undergraduate or beginning graduate students. While it contains the traditional mathematical development usually employed in computational theory courses, it is also quite different from many of them. Machines, grammars, a...

Olles dieđut

Furkejuvvon:
Bibliográfalaš dieđut
Váldodahkki: Morazán, Marco T. (Dahkki)
Searvvušdahkki: SpringerLink (Online service)
Materiálatiipa: Elektrovnnalaš E-girji
Giella:eaŋgalasgiella
Almmustuhtton: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Preanttus:1st ed. 2024.
Ráidu:Texts in Computer Science,
Fáttát:
Liŋkkat:https://doi.org/10.1007/978-3-031-43973-5
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!