A Course in Formal Languages, Automata and Groups
The aim of the first three chapters is to give a rigorous proof that various notions of recursively enumerable language are equivalent. Chapter One begins with languages defined by Chomsky grammars and the idea of machine recognition, contains a discussion of Turing Machines, and includes work on fi...
Saved in:
Main Author: | Chiswell, Ian |
---|---|
Format: | Book |
Language: | English |
Published: |
Springer
2017
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/30240 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | English |
Similar Items
-
A course on mathematical logic
by: Srivastava, S. M.
Published: (2017) -
Analysis and synthesis of logics : how to cut and paste reasoning systems
by: Coniglio, Marcelo, et al.
Published: (2017) -
Completeness theory for propositional logics
by: Pogorzelski, Witold ; Wojtylak, Piotr
Published: (2017) -
Towards mathematical philosophy : papers from the Studia logica conference "Trends in Logic IV"
Published: (2017) -
New Computational Paradigms
by: S. Barry Cooper, Benedikt Löwe, Andrea Sorbi.
Published: (2017)