Теория конечных автоматов

Теория автоматов оперирует с широким кругом алгебраических объектов и средств. В годы становления этой теории алгебраические методы активно использовались для решения ее внутренней проблематики. Со временем оказалось, что уже методы теории автоматов могут с успехом применяться в алгебраических исследованиях.

Липецк: ЛГТУ, 2012. — 83 с. Настоящее учебное пособие предназначено для организации самостоятельной работы студентов по дисциплине «Математическое моделирование», обучающихся по специальностям «Прикладная математика», «Управление качеством», «Метрология, стандартизация и сертификация». В пособие включены необходимые теоретические сведения и формулы, примеры, задания для лабораторных работ. Конечные автоматы. Вероятностные конечные автоматы. Клето...

СПб: СПбГУ ИТМО, 2011. – 242 с. В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данной области по...

Учебное пособие. – Ульяновск: УлГТУ, 2003. Изложены основные понятия формальных грамматик, приведены синтез абстрактного и структурного конечных цифровых автоматов. Рассмотрены работы машин Тьюринга и сетей Петри. Предназначена для студентов специальности 200700 «Радиотехника», 220100 «Вычислительные машины, комплексы и системы связи», 200900 «Сити связи и системы коммутации».

В учебно-методическом пособии рассматривается применение модели конечного автомата и его модификаций при создании информационно-управляющих систем. Анализируется специфика задач управления и языки, используемые для описания управляющих алгоритмов. Рассматриваются типовые алгоритмы, используемые при решении задач промышленной автоматизации.

Учебник. Часть VIII. Костенко К. И. ФКТиПМ, КубГУ, с. 35 Содержание: Конечные автоматы - начальные понятия - определение и задание автоматов - функции конечных автоматов - отличимость состояний автоматов - минимальные автоматы - распознавание слов автоматами - схемы конечных автоматов - схемы из элементарных автоматов

Наглядная минимизация автомата Мили в Excel.

Springer, 2008. - 161 pages. The study of formal languages and automata has proved to be a source of much interest and discussion amongst mathematicians in recent times. This book, written by Professor Ian Chiswell, attempts to provide a comprehensive textbook for undergraduate and postgraduate mathematicians with an interest in this developing field. The first three Chapters give a rigorous proof that various notions of recursively enumerable...

Издательство Springer, 2004, -318 pp. This textbook is an introduction to theoretical computer science with a focus on the development of its algorithmic concepts. It is based on a substantially extended translation of the German textbook "Algorithmische Konzepte der Informatik" written for the first introductory course to theoretical fundamentals of computer science at the University of Aachen. The topics have been chosen to strike a balance be...

World Scientific Publishing Company, 2010. - 248 pages. This volume consists of papers selected from the presentations at the workshop and includes mainly recent developments in the fields of formal languages, automata theory and algebraic systems related to the theoretical computer science and informatics. It covers the areas such as automata and grammars, languages and codes, combinatorics on words, cryptosystems, logics and trees, Grobner ba...

Издательство Springer, 2011, -125 pp. Since 2002, FoLLI, the Association for Logic, Language, and Information (www.folli.org), has awarded an annual prize for an outstanding dissertation in the fields of logic, language, and information. The prize is named after the well-known Dutch logician Evert Willem Beth, whose interdisciplinary interests are in many ways exemplary of the aims of FoLLI. It is sponsored by the E.W. Beth Foundation. Dissertat...

Jones & Bartlett Publishers, 2000. - 397 pages. This text covers all the material essential to an introductory theory of computation course for undergraduate students. The text has a solid mathematical base, and provides precise mathematical statements of theorems and definitions, giving an intuitive motivation for constructions and proofs. Proofs and arguments are clearly stated, without excessive mathematical detail, to help students und...

Prentice Hall, 1982. - 417 Pages. This book is an introduction to theoretical computer science emphasizing two interrelated areas: the theory of computability (how to tell whether problems are algorithmically solvable) and the theory of formal languages (how to design and use special languages, as for algorithms). Automata (idealized computer devices) are used as precise models of computation in studies that have actual computers as their primar...