Вы здесь

Главная

конечный автомат

Связанные издания:

Adventures Between Lower Bounds and Higher Altitudes: Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday
Algebraic Informatics: Proc./Third International Conference, CAI 2009, Thessaloniki, Grees, May 2009
An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components
An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract)
A Representation Theorem for languages accepted by Watson-Crick finite automata
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems
Automated Technology for Verification and Analysis: Proc./18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 2020
Cellular Automata and Discrete Complex System: Proc./24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 2018
Cellular Automata and Discrete Complex Systems: Proc./23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Spain, June 2017
Cellular Automata and Discrete Complex Systems: Proc./25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 2019
Cellular Automata and Discrete Complex Systems: Proc./26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 2020
Combinatorial Image Analysis: Proc./18th International Workshop, IWCIA 2017, Plovdiv, Bulgaria, June 2017
Computer Science - Theory and Applications: Proc./13th International Computer Science Symposium i Russia, CSR 2018, Moscow, Russia, June 2018
Computing with Foresight and Industry: Proc./15th Conference on Computability in Europe, CiE 2019, Durhan, UK, July 2019
Computing with New Resources: Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday
Connecting with Computability: Proc./17th Conference on Computability in Europe, CiE 2021, Virtual Event, July 2021
Descriptional Complexity of Formal Systems: Proc./15th International Workshop, DCFS 2013, London,ON,Canada, July 2013
Descriptional Complexity of Formal Systems: Proc./20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax,NS,Canada, July 2018
Descriptional Complexity of Formal Systems: Proc./21st IFIP WG 1.02 International Conference, DCFS 2019, Kosice, Slovakia, July 2019
Descriptional Complexity of Formal Systems: Proc./22nd International Conference, DCFS 2020, Vienna, Austria, August 2020
Descriptional Complexity of Formal Systems: Proc./23rd IFIP WG 1/02 International Conference, DCFS 2021, Virtual Event, September 2021
Developments in Language Theory: Proc./13th International Conference, DLT 2009. Stuttgart, Germany, June/July 2009
Developments in Language Theory: Proc./15th International Conference, DLT 2011, Milan, Italy, July 2011
Developments in Language Theory: Proc./16th International Conference, DLT 2012, Taipei, Taiwan, August 2012
Developments in Language Theory: Proc./17th International Conference, DLT 2013, Marne-la-Vallee, France, June 2013
Developments in Language Theory: Proc./18th International Conference, DLT 2014, Ekaterinburg, Russia, August 2014
Developments in Language Theory: Proc./22nd International Conference, DLT 2018, Tokyo, Japan, September 2018
Developments in Language Theory: Proc./23rd International Conference, DLT 2019, Warsaw, Poland, August 2019
Developments in Language Theory: Proc./24th International Conference, DLT 2020, Tampa,FL,USA, May 2020
Developments in Language Theory: Proc./25th International Conference, DLT 2021, Porto, Portugal, August 2021
Distributed Computing and Networking: Proc./14tth International Conference, ICDCN 2013, Mumbai, India, January 2013
Distributed Computing: Proc./25th International Symposium, DISC 2011, Rome, Italy, September 2011
Diversity-Based Inference of Finite Automata
DNA Computing and Molecular Programming: Proc./24th International Conference, DNA 24, Jinan, China, October 2018
Finite-State Methods and Natural Language Processing: Revised Selected Papers/8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 2009
Foundations of Software Science and Computation Structures: Proc./20th International Conference, FOSSACS 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017
Implementation and Application of Automata: Proc./11th International Conference, CIAA 2006. Taipei, Taiwan, August 2006
Implementation and Application of Automata: Proc./14th International Conference, CIAA 2009. Sydney, Australia, July 2009
Implementation and Application of Automata: Proc./18th International Conference, CIAA 2013, Halifax,NS,Canada, July 2013
Implementation and Application of Automata: Proc./20th International Conference, CIAA 2015, Umea, Sweden, August 2015
Implementation and Application of Automata: Proc./25th International Conference, CIAA 2021, Virtual Event, July 2021
Implementation and Application of Automata: Revised Selected Papers/15th International Conference, CIAA 2010, Winnipeg,MB,Canada, August 2010
Implementation and Application of Automata: Revised Selected Papers/9th International Conference, CIAA 2004. Kingston, Canada, July 2004
Language and Automata Theory and Applications: Proc./12th International Conference, LATA 2018, Ramat Gan, Israel, April 2018
Language and Automata Theory and Applications: Proc./13th International Conference, LATA 2019, St.Petersburg, Russia, March 2019
Language and Automata Theory and Applications: Proc./14th International Conference, LATA 2020, Milan, Italy, March 2020
Language and Automata Theory and Applications: Proc./15th International Conference, LATA 2021, Milan, Italy, March 2021
Mathematical Foundations of Computer Science 2011: Proc./36th International Symposium, MFCS 2011, Warsaw, Poland, August 2011
Mathematical Foundations of Computer Science 2013: Proc./38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 2013
On the Minimality of Finite Automata and Stream X-machines for Finite Languages