Problem solving in automata, languages, and complexity

Κώδικας QR

Problem solving in automata, languages, and complexity

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Ding-zhu Du
Μορφή:	Βιβλίο
Γλώσσα:	Undetermined
Έκδοση:	New York John Wiley and Sons 2001
Θέματα:	automata ( formal languages ),formal languages
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Παρόμοια τεκμήρια

An Introduction to Formal Languages and Automata (Photo) /
ανά: Linz Peter
Έκδοση: (1990)

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

Cellular Automata and Discrete Complex Systems
ανά: Baetens, Jan M., κ.ά.
Έκδοση: (2020)

Fuzzy Automata and Languages: Theory and Applications
ανά: Mordeson, John, κ.ά.
Έκδοση: (2012)

Language and Automata Theory and Applications
ανά: Drewes, Frank, κ.ά.
Έκδοση: (2020)

Semigroups, algorithms, automata, and languages :
Έκδοση: (2002)

Finiteness and regularity in semigroups and formal languages /
ανά: De Luca, A.
Έκδοση: (1999)

Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 /
Έκδοση: (2002)

Introduction to Automata Theory, Languages, and Computation (3rd Edition)
ανά: John, E . Hopcroft, κ.ά.
Έκδοση: (2023)

Cellular Automata and Discrete Complex Systems
ανά: Kari, Jarkko
Έκδοση: (2015)

Implementation and Application of Automata
Έκδοση: (2020)

Implementation and Application of Automata
ανά: Câmpeanu, Cezar
Έκδοση: (2020)

Language and Automata Theory and Applications
ανά: Martín-Vide, Carlos, κ.ά.
Έκδοση: (2020)

An introduction to formal languages and machine computation /
ανά: Yan, Song Y.
Έκδοση: (1998)

Lý thuyết Automat và ngôn ngữ hình thức
Έκδοση: (2002)

Cellular Automata and Discrete Complex Systems: 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
ανά: Isokawa, T, κ.ά.
Έκδοση: (2015)

Logic, Language, and Computation
Έκδοση: (2020)

Implementation and Application of Automata. 1st ed. 2017
ανά: Carayol, Arnaud, κ.ά.
Έκδοση: (2020)

Automata and Computability
ανά: Kozen, Dexter C
Έκδοση: (1997)

Computability, complexity, and languages :
ανά: Davis, Martin
Έκδοση: (1994)

Introduction to automata theory, language, and computation
ανά: Hopcroft, John E.
Έκδοση: (2007)

Ngôn ngữ hình thức
ανά: Nguyễn Văn Ba
Έκδοση: (2002)

Logics of Specification Languages
ανά: Bjørner, Dines, κ.ά.
Έκδοση: (2020)

Proceedings of the workshop semigroups and languages
Έκδοση: (2004)

Logic, Language, Information, and Computation
ανά: Moss, Lawrence S., κ.ά.
Έκδοση: (2020)

Dynamic neighbourhood cellular automata /
ανά: Dantchev, Stefan.

Logic, Language, and Computation
Έκδοση: (2020)

Convergence of formal morphisms of completions of complex spaces /
ανά: Izumi, Shuzo.

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
ανά: Bjørner, Nikolaj, κ.ά.
Έκδοση: (2015)

Developments in Language Theory
ανά: Hoshi, Mizuho, κ.ά.
Έκδοση: (2020)

Natural Language Processing – IJCNLP 2004
Έκδοση: (2020)

Stochastic cellular automata /
ανά: Fricke, Thomas.

Lý thuyết ngôn ngữ hình thức và Otomat
ανά: Đặng, Huy Ruận
Έκδοση: (2002)

Deontic Logic in Computer Science
ανά: Meyden, Ron van der, κ.ά.
Έκδοση: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
ανά: Aguzzoli, S., κ.ά.
Έκδοση: (2020)

Conditionals, Information, and Inference
Έκδοση: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Έκδοση: (2020)

Nhập môn tin học lý thuyết tính toán và các Ôtômat =
ανά: Salomaa, Arto
Έκδοση: (1992)

Language, Logic, and Computation
ανά: Silva, Alexandra, κ.ά.
Έκδοση: (2020)

Computational Processing of the Portuguese Language
ανά: Villavicencio, Aline, κ.ά.
Έκδοση: (2020)