Problem solving in automata, languages, and complexity

QR Kod

Problem solving in automata, languages, and complexity

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Ding-zhu Du
Materyal Türü:	Kitap
Dil:	Undetermined
Baskı/Yayın Bilgisi:	New York John Wiley and Sons 2001
Konular:	automata ( formal languages ),formal languages
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

An Introduction to Formal Languages and Automata (Photo) /
Yazar:: Linz Peter
Baskı/Yayın Bilgisi: (1990)

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

Cellular Automata and Discrete Complex Systems
Yazar:: Baetens, Jan M., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Fuzzy Automata and Languages: Theory and Applications
Yazar:: Mordeson, John, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Language and Automata Theory and Applications
Yazar:: Drewes, Frank, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Semigroups, algorithms, automata, and languages :
Baskı/Yayın Bilgisi: (2002)

Finiteness and regularity in semigroups and formal languages /
Yazar:: De Luca, A.
Baskı/Yayın Bilgisi: (1999)

Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 /
Baskı/Yayın Bilgisi: (2002)

Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Yazar:: John, E . Hopcroft, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Cellular Automata and Discrete Complex Systems
Yazar:: Kari, Jarkko
Baskı/Yayın Bilgisi: (2015)

Implementation and Application of Automata
Baskı/Yayın Bilgisi: (2020)

Implementation and Application of Automata
Yazar:: Câmpeanu, Cezar
Baskı/Yayın Bilgisi: (2020)

Language and Automata Theory and Applications
Yazar:: Martín-Vide, Carlos, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

An introduction to formal languages and machine computation /
Yazar:: Yan, Song Y.
Baskı/Yayın Bilgisi: (1998)

Lý thuyết Automat và ngôn ngữ hình thức
Baskı/Yayın Bilgisi: (2002)

Cellular Automata and Discrete Complex Systems: 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
Yazar:: Isokawa, T, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Logic, Language, and Computation
Baskı/Yayın Bilgisi: (2020)

Implementation and Application of Automata. 1st ed. 2017
Yazar:: Carayol, Arnaud, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Automata and Computability
Yazar:: Kozen, Dexter C
Baskı/Yayın Bilgisi: (1997)

Computability, complexity, and languages :
Yazar:: Davis, Martin
Baskı/Yayın Bilgisi: (1994)

Introduction to automata theory, language, and computation
Yazar:: Hopcroft, John E.
Baskı/Yayın Bilgisi: (2007)

Ngôn ngữ hình thức
Yazar:: Nguyễn Văn Ba
Baskı/Yayın Bilgisi: (2002)

Logics of Specification Languages
Yazar:: Bjørner, Dines, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Proceedings of the workshop semigroups and languages
Baskı/Yayın Bilgisi: (2004)

Logic, Language, Information, and Computation
Yazar:: Moss, Lawrence S., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Dynamic neighbourhood cellular automata /
Yazar:: Dantchev, Stefan.

Logic, Language, and Computation
Baskı/Yayın Bilgisi: (2020)

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

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Yazar:: Bjørner, Nikolaj, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Developments in Language Theory
Yazar:: Hoshi, Mizuho, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Natural Language Processing – IJCNLP 2004
Baskı/Yayın Bilgisi: (2020)

Stochastic cellular automata /
Yazar:: Fricke, Thomas.

Lý thuyết ngôn ngữ hình thức và Otomat
Yazar:: Đặng, Huy Ruận
Baskı/Yayın Bilgisi: (2002)

Deontic Logic in Computer Science
Yazar:: Meyden, Ron van der, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
Yazar:: Aguzzoli, S., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Conditionals, Information, and Inference
Baskı/Yayın Bilgisi: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Baskı/Yayın Bilgisi: (2020)

Nhập môn tin học lý thuyết tính toán và các Ôtômat =
Yazar:: Salomaa, Arto
Baskı/Yayın Bilgisi: (1992)

Language, Logic, and Computation
Yazar:: Silva, Alexandra, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computational Processing of the Portuguese Language
Yazar:: Villavicencio, Aline, ve diğerleri
Baskı/Yayın Bilgisi: (2020)