Вы здесь

Главная

автомат

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

Coalgebraic Methods in Computer Science: Revised Selected Papers/11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 2012
Computer Science Logic: Proc./21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL. Lausanne, Switzerland, September 2007
Computer Science Logic: Proc./24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 2010
Foundations of Software Science and Computational Structures: Proc./23rd International Conference, FOSSACS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
Language and Automata Theory and Applications: Proc./15th International Conference, LATA 2021, Milan, Italy, March 2021
Leveraging Applications of Formal Methods, Verification and Validation: Proc./10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 2021
Mathematical Foundations of Computer Science: Parallel Processing Structured Automata & Language: Proc./4th IBM Symposium, Tokyo, Japan, November 1979
Perspectives of System Informatics: Prliminary Proc./Seventh International Andrei Ershov Memorial Conference , PSI 09, 15-19 June 2009, Novosibirsk, Akademgorodok, Russia
Rewriting Techniques and Applications: Proc./19th International Conference, RTA 2008. Hagenberg, Austria, July 2008
Вопросы выразимости для линейных автоматов
Диагностические эксперименты с автоматами
ИНФОРМАТИКА Задачи и решения
Моделирование и универсальность автоматов с переменной структурой
Некоторые вопросы оптимизации микропрограммных автоматов
Определение языков программирования интерпретирующими автоматами
Оптимизация автоматов с заключительным состоянием по быстродействию
О распознавании свойств дискретных преобразователей в многоленточных многоголовочных автоматов
Преобразования автоматов для упрощения контроля
Эквивалентные представления дискретных автоматов