Зарегистрироваться
Восстановить пароль
FAQ по входу

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

Ищем доверенных пользователей для раздела Математика

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

Теги, соответствующие этому тематическому разделу

Файлы, которые ищут в этом разделе

Доверенные пользователи и модераторы раздела

Издательство Cambridge University Press, 2010, -634 pp. This book presents a comprehensive study of the theory of variable length codes. It is a complete reworking of the book Theory of Codes published by the first two authors more than twenty years ago. The present text includes many new results and also contains several additional chapters. Its focus is also broader, in the...
  • №1
  • 4,26 МБ
  • добавлен
  • изменен
Издательство Cambridge University Press, 2010, -630 pp. As the title may suggest, this book is about combinatorics on words, automata and formal language theory, as well as number theory. This collaborative work gives a glimpse of the active community working in these interconnected and even intertwined areas. It presents several important tools and concepts usually encountered...
  • №2
  • 3,45 МБ
  • добавлен
  • изменен
Издательство Springer, 2013, -210 pp. Communication systems for most companies throughout the world have already gone digital or will certainly do so in the near future. For example, cell phones and other types of wireless communication such as television, radio, process controls, automotive electronics, consumer electronics, global navigation and military systems, to name only a...
  • №3
  • 5,12 МБ
  • добавлен
  • изменен
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...
  • №4
  • 1,14 МБ
  • добавлен
  • изменен
John Wiley & Sons, 2001. — 401 p. — ISBNs: 0-471-43960-6; 0-471-22464-2. Over the past twenty years, automata and formal languages have become the standard introductory theory course in both the undergraduate and graduate curricula of computer science. The subjects studied in such a course include automata theory, formal languages, and models of computation. For a more advanced...
  • №5
  • 3,36 МБ
  • добавлен
  • изменен
Cambridge: Cambridge University Press, 2017. — 307 p. Fascinating connections exist between group theory and automata theory, and a wide variety of them are discussed in this text. Automata can be used in group theory to encode complexity, to represent aspects of underlying geometry on a space on which a group acts, and to provide efficient algorithms for practical computation....
  • №6
  • 1,61 МБ
  • добавлен
  • изменен
Издательство 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...
  • №7
  • 5,94 МБ
  • добавлен
  • изменен
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...
  • №8
  • 1,69 МБ
  • добавлен
  • изменен
Издательство 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...
  • №9
  • 1,15 МБ
  • добавлен
  • изменен
Third Edition. — Toronto: Jones & Bartlett Publishers, 2000. — 397 p. — ISBN 0-7637-1422-4. 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...
  • №10
  • 20,96 МБ
  • добавлен
  • изменен
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...
  • №11
  • 3,40 МБ
  • добавлен
  • изменен
Издательство Springer, 1985, -221 pp. This volume contains the texts of the conferences given at the "Ecole de Printemps d'lnformatique Theorique" held at le Mont Dore in May 1984, It was organized jointly by A. Arnold, L. Kott, M. Nivat. F. Rodriguez and myself and gathered a hundred participants. This Spring School is an event which takes place each year in variable places of...
  • №12
  • 2,09 МБ
  • добавлен
  • изменен
Издательство Elsevier, 2004, -420 pp. The theory of automata arose as an interdisciplinary field, with roots in several scientific domains including pure mathematics, electronics and computer science. This diversity is reflected in the material presented in this book which covers topics related to computer science, algebra, logic, topology and game theory. The elementary...
  • №13
  • 5,02 МБ
  • добавлен
  • изменен
Издательство Springer, 2011, -214 pp. Studying the historical development of theoretical foundations and tracing the train of thought that led to their formulations and to related practical discoveries are very suitable ways of learning and getting insight into how to determine the roads for future research and investigations in similar areas. This booklet presents some...
  • №14
  • 7,37 МБ
  • добавлен
  • изменен
Pergamon Press, 1963. — 795 p. — ASIN: B000V294MC. The publication of the six volumes of the collected works of John von Neumann represents an imposing burden of work, great and broad knowledge, and time-consuming research. It would hardly have been possible to make this collection available to the scientific community, and surely not in so short a time, had it not been for the...
  • №15
  • 15,83 МБ
  • добавлен
  • изменен
World Scientific, 1996. - 420 pages. ISBN: 9810234228 This book provides an elementary introduction to formal languages and machine computation. The materials covered include computation-oriented mathematics, finite automata and regular languages, push-down automata and context-free languages, Turing machines and recursively enumerable languages, and computability and...
  • №16
  • 198,20 МБ
  • добавлен
  • изменен
Теория автоматов оперирует с широким кругом алгебраических объектов и средств. В годы становления этой теории алгебраические методы активно использовались для решения ее внутренней проблематики. Со временем оказалось, что уже методы теории автоматов могут с успехом применяться в алгебраических исследованиях.
  • №17
  • 88,97 КБ
  • дата добавления неизвестна
  • изменен
Липецк: ЛГТУ, 2012. — 83 с. Настоящее учебное пособие предназначено для организации самостоятельной работы студентов по дисциплине «Математическое моделирование», обучающихся по специальностям «Прикладная математика», «Управление качеством», «Метрология, стандартизация и сертификация». В пособие включены необходимые теоретические сведения и формулы, примеры, задания для...
  • №18
  • 1,20 МБ
  • добавлен
  • изменен
СПб: СПбГУ ИТМО, 2011. – 242 с. В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным...
  • №19
  • 1,44 МБ
  • добавлен
  • изменен
Учебное пособие. – Ульяновск: УлГТУ, 2003. Изложены основные понятия формальных грамматик, приведены синтез абстрактного и структурного конечных цифровых автоматов. Рассмотрены работы машин Тьюринга и сетей Петри. Предназначена для студентов специальности 200700 «Радиотехника», 220100 «Вычислительные машины, комплексы и системы связи», 200900 «Сити связи и системы коммутации».
  • №20
  • 1,20 МБ
  • дата добавления неизвестна
  • изменен
В учебно-методическом пособии рассматривается применение модели конечного автомата и его модификаций при создании информационно-управляющих систем. Анализируется специфика задач управления и языки, используемые для описания управляющих алгоритмов. Рассматриваются типовые алгоритмы, используемые при решении задач промышленной автоматизации.
  • №21
  • 919,12 КБ
  • дата добавления неизвестна
  • изменен
ФКТиПМ, КубГУ, с. 35 Содержание: Конечные автоматы начальные понятия определение и задание автоматов функции конечных автоматов отличимость состояний автоматов минимальные автоматы распознавание слов автоматами схемы конечных автоматов схемы из элементарных автоматов
  • №22
  • 115,31 КБ
  • дата добавления неизвестна
  • изменен
Наглядная минимизация автомата Мили в Excel.
  • №23
  • 7,75 КБ
  • дата добавления неизвестна
  • изменен
М.: Мир, 1971. — 366 с. Монография одного из крупнейших американских ученых рассматривает фундаментальные вопросы теории автоматов. Изложена классическая теория конечных автоматов, машин Тьюринга и систем Поста. Подход автора в значительной степени отличается от традиционного. В его основе лежит понятие эффективной процедуры, включающее язык для описания поведения и характеристику...
  • №24
  • 44,08 МБ
  • добавлен
  • изменен
М.: Интуит, 2016. — 355 с. — ISBN 9785996302680. Конечные автоматы представляют собой удобные и адекватные математические модели, широко применяющиеся для описания структур и процессов функционирования цифровой аппаратуры, при разработке программных систем и трансляторов и во многих других предметных областях. В данном курсе лекций излагаются результаты теории экспериментов с...
  • №25
  • 40,64 МБ
  • добавлен
  • изменен
В этом разделе нет файлов.

Комментарии

В этом разделе нет комментариев.