Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Ordered algebraic structures --- Algèbres non associatives --- Lie, Algèbres de

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Séries (Mathématiques) --- Langages formels. --- 512.5 --- 517.52 --- 681.3*F4 --- General algebra --- Series and sequences --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 517.52 Series and sequences --- 512.5 General algebra --- Séries (Mathématiques) --- Séries (mathématiques) --- Series --- Langages formels --- Formal languages

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada, in July 2016. The 32 full papers and 4 abstracts of invited papers presented were carefully reviewed and selected from 48 submissions. This volume presents current developments in formal languages and automata, especially from the following topics and areas: combinatorial and algebraic properties of words and languages; grammars, acceptors and transducers for strings, trees, graphs, arrays; algebraic theories for automata and languages; codes; efficient text algorithms; symbolic dynamics; decision problems; relationships to complexity theory and logic; picture description and analysis; polyominoes and bidimentional patterns; cryptography; concurrency; cellular automata; bio-inspried computing; quantum computing.

Computer science. --- Computers. --- Algorithms. --- Computer logic. --- Mathematical logic. --- Computer science --- Computational linguistics. --- Computer Science. --- Computation by Abstract Devices. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Discrete Mathematics in Computer Science. --- Language Translation and Linguistics. --- Mathematics. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Informatics --- Automatic language processing --- Language and languages --- Language data processing --- Linguistics --- Natural language processing (Linguistics) --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Computer science logic --- Algorism --- Data processing --- Mathematics --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Science --- Applied linguistics --- Cross-language information retrieval --- Mathematical linguistics --- Multilingual computing --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical --- Algebra --- Arithmetic --- Foundations --- Logic design. --- Computer software. --- Computational complexity. --- Natural language processing (Computer science). --- Natural Language Processing (NLP). --- NLP (Computer science) --- Artificial intelligence --- Human-computer interaction --- Semantic computing --- Complexity, Computational --- Software, Computer --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Formal languages --- Computer science—Mathematics. --- Machine theory. --- Discrete mathematics. --- Theory of Computation. --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Machine theory --- Petri nets. --- Machine theory.