Problem solving in automata, languages, and complexity

QR-koodi

Problem solving in automata, languages, and complexity

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Ding-zhu Du
Aineistotyyppi:	Kirja
Kieli:	Undetermined
Julkaistu:	New York John Wiley and Sons 2001
Aiheet:	automata ( formal languages ),formal languages
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

Samankaltaisia teoksia

An Introduction to Formal Languages and Automata (Photo) /
Tekijä: Linz Peter
Julkaistu: (1990)

Closing a system in the dynamic input/output automata model /
Tekijä: Kapus, Tatjana.

Cellular Automata and Discrete Complex Systems
Tekijä: Baetens, Jan M., et al.
Julkaistu: (2020)

Fuzzy Automata and Languages: Theory and Applications
Tekijä: Mordeson, John, et al.
Julkaistu: (2012)

Language and Automata Theory and Applications
Tekijä: Drewes, Frank, et al.
Julkaistu: (2020)

Semigroups, algorithms, automata, and languages :
Julkaistu: (2002)

Finiteness and regularity in semigroups and formal languages /
Tekijä: De Luca, A.
Julkaistu: (1999)

Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 /
Julkaistu: (2002)

Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Tekijä: John, E . Hopcroft, et al.
Julkaistu: (2023)

Cellular Automata and Discrete Complex Systems
Tekijä: Kari, Jarkko
Julkaistu: (2015)

Implementation and Application of Automata
Julkaistu: (2020)

Implementation and Application of Automata
Tekijä: Câmpeanu, Cezar
Julkaistu: (2020)

Language and Automata Theory and Applications
Tekijä: Martín-Vide, Carlos, et al.
Julkaistu: (2020)

An introduction to formal languages and machine computation /
Tekijä: Yan, Song Y.
Julkaistu: (1998)

Lý thuyết Automat và ngôn ngữ hình thức
Julkaistu: (2002)

Cellular Automata and Discrete Complex Systems: 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
Tekijä: Isokawa, T, et al.
Julkaistu: (2015)

Logic, Language, and Computation
Julkaistu: (2020)

Automata and Computability
Tekijä: Kozen, Dexter C
Julkaistu: (1997)

Implementation and Application of Automata. 1st ed. 2017
Tekijä: Carayol, Arnaud, et al.
Julkaistu: (2020)

Computability, complexity, and languages :
Tekijä: Davis, Martin
Julkaistu: (1994)

Introduction to automata theory, language, and computation
Tekijä: Hopcroft, John E.
Julkaistu: (2007)

Ngôn ngữ hình thức
Tekijä: Nguyễn Văn Ba
Julkaistu: (2002)

Logics of Specification Languages
Tekijä: Bjørner, Dines, et al.
Julkaistu: (2020)

Proceedings of the workshop semigroups and languages
Julkaistu: (2004)

Logic, Language, Information, and Computation
Tekijä: Moss, Lawrence S., et al.
Julkaistu: (2020)

Dynamic neighbourhood cellular automata /
Tekijä: Dantchev, Stefan.

Logic, Language, and Computation
Julkaistu: (2020)

Convergence of formal morphisms of completions of complex spaces /
Tekijä: Izumi, Shuzo.

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Tekijä: Bjørner, Nikolaj, et al.
Julkaistu: (2015)

Developments in Language Theory
Tekijä: Hoshi, Mizuho, et al.
Julkaistu: (2020)

Stochastic cellular automata /
Tekijä: Fricke, Thomas.

Natural Language Processing – IJCNLP 2004
Julkaistu: (2020)

Lý thuyết ngôn ngữ hình thức và Otomat
Tekijä: Đặng, Huy Ruận
Julkaistu: (2002)

Deontic Logic in Computer Science
Tekijä: Meyden, Ron van der, et al.
Julkaistu: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
Tekijä: Aguzzoli, S., et al.
Julkaistu: (2020)

Conditionals, Information, and Inference
Julkaistu: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Julkaistu: (2020)

Nhập môn tin học lý thuyết tính toán và các Ôtômat =
Tekijä: Salomaa, Arto
Julkaistu: (1992)

Language, Logic, and Computation
Tekijä: Silva, Alexandra, et al.
Julkaistu: (2020)

Computational Processing of the Portuguese Language
Tekijä: Villavicencio, Aline, et al.
Julkaistu: (2020)