| Academic Press

267,750원  | 20230601  | 9780323917841

Shouta Yamakawa is in love with manga...

 | Springer Nature B.V.

69,980원  | 20220814  | 9783031119668

Knowledge of automata theory and formal languages is crucial for understanding human-computer interaction, as well as for understanding the various processes that take place when manipulating knowledge if that knowledge is, indeed, expressed as sentences written in a suitably formalized language. In particular, it is at the basis of the theory of parsing, which plays an important role in language translation, compiler construction, and knowledge manipulation in general.

 | Springer Nature B.V.

69,980원  | 20190422  | 9783030048808

This classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used for defining the syntax of languages, and for implementing simple translators.This significantly updated and expanded third edition has been enhanced with additional coverage of regular expressions, visibly pushdown languages, bottom-up and top-down deterministic parsing algorithms, and new grammar models.

 | Springer Nature B.V.

69,980원  | 20131127  | 9781447155157

This revised and expanded new edition elucidates the elegance and simplicity of the fundamental theory underlying formal languages and compilation. Retaining the reader-friendly style of the 1st edition, this versatile textbook describes the essential principles and methods used for defining the syntax of artificial languages, and for designing efficient parsing algorithms and syntax-directed translators with semantic attributes.

Peter Linz, Susan H. Rodger  | Jones & Bartlett Publishers

59,000원  | 20220304  | 9781284231601

An Introduction to Formal Languages and Automata, Seventh Edition is designed for an introductory course on formal languages, automata, computability, and related matters forming what is known as the theory of computation. The text takes a problem-solving approach, in which students' abilities are tested at various levels.

Chiswell, Ian  | Springer

96,230원  | 20210101  | 9781848009394

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 language are equivalent.

Revesz, Gyorgy E.  | Dover Publications

21,450원  | 20160711  | 9780486666976

Carefully written introduction covers all areas of mainstream formal language theory, including such topics as operations on languages, context-sensitive languages, automata, decidability, syntax analysis, derivation languages (first complete disc...

Andre, Jorge M. (EDT)/ Fernandes, Vitor H. (EDT)/  | World Scientific

233,100원  | 20070629  | 9789812707383

Presents papers from leading researchers in semigroups and formal languages. This work covers a number of areas from pseudovarieties and regular languages to ordered groupoids and one-relator groups, and from semigroup algebras to presentations of monoids and transformation semigroups.

Brookshear  | Pearson

241,470원  | 19890101  | 9780805301434

This book presents the foundations of theoretical computer science in a format accessible to undergraduate computer science students. Designed to serve as a text for a one-semester introductory course in the theory of computation, the book covers the traditional topics of formal languages, automata, computability, and computational complexity. In his book, Glenn Brookshear encourages students to appreciate the theoretical ideas as the foundation on which real problems are solved, rather than viewing them as unuseable abstractions. Theory of Computation covers regular, context-free, and general phrase-structure languages along with their associated automata, computability in the context of Turing machines, partial recursive functions and simple programming languages, and complexity theory with an introduction to some of the open classification problems relating to the classes P and NP.

Shallit, Jeffrey  | Cambridge University Press

155,750원  | 20210101  | 9780521865722

Written for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course. After a review of basic concepts, the book covers combinatorics on words, regular languages, context-free languages, parsing and recognition, Turing machines, and other language classes.

Linz, Peter  | Jones&Bartlett Learning

19,000원  | 20160126  | 9781284077247

An Introduction to Formal Languages and Automata, Sixth Edition provides an accessible, student-friendly presentation of all material essential to an introductory Theory of Computation course. Written to address the fundamentals of formal languages, automata, and computability, the text is designed to familiarize students with the foundations and principles of computer science and to strengthen the students' ability to carry out formal and rigorous mathematical arguments. The author, Peter Linz, continues to offer a straightforward, uncomplicated treatment of formal languages and automata and avoids excessive mathematical detail allowing students to focus on and understand the key underlying principles. New & Key Features: ? An accessible approach allows students to clearly understand key content while retaining the appropriate mathematical notations and theorems required for the course ? New Chapter Synopsis, found at the end of each chapter, recap important concepts found in the text ? Every major idea is preceded by a motivating example, drawn from applications, that introduces the concept and illustrates its usefulness ? The exercise section has been restructured and improved with accessible exercises more closely tied to examples in the text ? An enhanced Instructor's Manual includes more detailed solutions to problems found in the text

 | World Scientific Publishing Company

315,000원  | 19941001  | 9789810219147

This text contains original reviews in the field of mathematical linguistics and formal language theory. Topics covered include: contextual grammars; grammar systems; automata theory; the algebraic approach to computer science; cryptography; grammatical inference; and natural language processing.

Levelt, W. J. M.  | John Benjamins

0원  | 20081015  | 9789027232502

The present text is a re-edition of Volume I of Formal Grammars in Linguistics and Psycholinguistics, a three-volume work published in 1974. It is an entirely self-contained still relevant introduction to the theory of formal grammars and automata.

Fountain,J.  | Kluwer

384,980원  | 19950801  | 9780792335405

 | Springer Nature B.V.

69,980원  | 20230516  | 9783031223457

This book analyzes the linguistic diversity of South America based on approaches deeply rooted in the tradition of formal grammar. The chapters brought together in this contributed volume consider native languages all kinds of languages used in the region, including sign languages, indigenous languages and the romance languages (Portuguese and Spanish) originally introduced by European colonizers which underwent processes of transformation giving rise to new, local grammars.