Search Results - Theory of computation Formal languages AND automata theory Formalisms Rewrite systems

Cost Automata, Safe Schemes, and Downward Closures

Authors: Barozzini, David Clemente, Lorenzo Colcombet, Thomas et al.

Contributors: Barozzini, David Clemente, Lorenzo Colcombet, Thomas et al.

Source: Artur Czumaj, Anuj Dawar, and Emanuela Merelli, editors, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020

Subject Terms: FOS: Computer and information sciences, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], Theory of computation → Logic and verification, 01 natural sciences, Automata, Regular cost functions, higher-order recursion schemes, Infinite trees, Cost logics, downward closure, safe recursion schemes, cost automata, 0202 electrical engineering, electronic engineering, information engineering, cost logics, ddc:004, Safe scheme, Theory of computation → Rewrite systems, downward closures

File Description: application/pdf

Access URL: http://arxiv.org/abs/2004.12187
https://fi.episciences.org/8485
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2020.109
https://hal.science/hal-03105650v1
https://doi.org/10.4230/lipics.icalp.2020.109
https://hal.science/hal-03105650v1/document

Correctness by construction and style preserving reconfigurations of system of systems

Authors: Eichler, Cédric Drira, Khalil Monteil, Thierry et al.

Contributors: Eichler, Cédric Drira, Khalil Monteil, Thierry et al.

Source: Proceedings of the 33rd Annual ACM Symposium on Applied Computing. :1680-1686

Subject Terms: [INFO.INFO-AR] Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], Système d'exploitation, Réseaux et télécommunications, 0102 computer and information sciences, 02 engineering and technology, Systèmes embarqués, 01 natural sciences, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, Rewrite systems, Calcul parallèle, distribué et partagé, Grammars and context-free languages, [INFO.INFO-OS] Computer Science [cs]/Operating Systems [cs.OS], Architectures Matérielles, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, Formal languages and automata theory, Formalisms, Theory of computation

File Description: application/pdf

Access URL: https://hal.archives-ouvertes.fr/hal-02652140/document
https://hal.archives-ouvertes.fr/hal-02652140
https://oatao.univ-toulouse.fr/22153/
https://dl.acm.org/doi/pdf/10.1145/3167132.3167312
https://dblp.uni-trier.de/db/conf/sac/sac2018.html#EichlerD0S18
https://hal.archives-ouvertes.fr/hal-02652140/document
https://doi.org/10.1145/3167132.3167312
https://oatao.univ-toulouse.fr/22153/
https://hal.science/hal-02652140v1

Theory of Computation and Application : Automata, Formal Languages, Computational Complexity

Authors: Jena, S. R. Swain, S. K.

Resource Type: eBook.

Subjects: Computable functions, Formal languages, Computer systems

Categories: COMPUTERS / Computer Science, SCIENCE / Physics / Mathematical & Computational

chemSKI with tokens: world building and economy in the SKI universe

Authors: Buliga, Marius

Subject Terms: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Formal Languages and Automata Theory (cs.FL), Computer Science - Neural and Evolutionary Computing, Computer Science - Formal Languages and Automata Theory, Neural and Evolutionary Computing (cs.NE)

Access URL: http://arxiv.org/abs/2306.00938

Language, Culture, Computation: Computing - Theory and Technology : Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I

Authors: Nachum Dershowitz Ephraim Nissan

Resource Type: eBook.

Subjects: Artificial intelligence, Natural language processing (Computer science), Information storage and retrieval systems, Computer science

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / System Administration / Storage & Retrieval, COMPUTERS / Speech & Audio Processing

Structured Noncommutative Multidimensional Linear Systems.

Authors: Ball, Joseph A. Groenewald, Gilbert Malakorn, Tanit

Source: SIAM Journal on Control & Optimization; 2005, Vol. 44 Issue 4, p1474, 55p

Subject Terms: LINEAR differential equations, LINEAR systems, SYSTEMS theory, KALMAN filtering, CONTROL theory (Engineering), HANKEL operators, HANKEL functions

On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer.

Authors: Constable, Robert L.

Source: 2012 27th Annual IEEE Symposium on Logic in Computer Science; 1/ 1/2012, p2-8, 7p

The neurobiology of syntax: beyond string sets.

Authors: Petersson, Karl Magnus Hagoort, Peter

Source: Philosophical Transactions of the Royal Society B: Biological Sciences; 7/19/2012, Vol. 367 Issue 1598, p1971-1983, 13p

Subject Terms: GRAMMAR, LANGUAGE acquisition, BRAIN physiology, INFORMATION theory, LEARNING theories in education, SYNTAX (Grammar), NEUROBIOLOGY, COMPUTATIONAL linguistics

A Second Course in Formal Languages and Automata Theory

Authors: Jeffrey Shallit

Resource Type: eBook.

Subjects: Machine theory, Formal languages

Categories: COMPUTERS / Languages / General

Constructor theory.

Authors: Deutsch, David

Source: Synthese; Dec2013, Vol. 190 Issue 18, p4331-4359, 29p

Subject Terms: FUNDAMENTAL forces (Physics), PREDICTION models, MOTIVATION (Psychology), QUANTUM information theory, THERMODYNAMICS, VON Neumann architecture (Computers)

Frontiers of Combining Systems

Authors: René Thiemann Christoph Weidenbach

Resource Type: eBook.

Categories: COMPUTERS / Software Development & Engineering / General

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Authors: Naoki Kobayashi James Worrell

Resource Type: eBook.

Subjects: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Authors: Viktor Vafeiadis

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Grammatical Theory

Authors: Müller, Stefan

Resource Type: eBook.

Subjects: Language acquisition, Language and languages--Study and teaching, Germanic languages--Syntax, Computational linguistics, Grammar, Comparative and general, Generative grammar, Government (Grammar)

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Authors: Stephanie Weirich

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Authors: Thomas Wies

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Programming / Compilers

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Authors: Luís Caires

Resource Type: eBook.

Subjects: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing

Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Authors: Ilya Sergey

Resource Type: eBook.

Subjects: Computer programming--Congresses, Programming languages (Electronic computers)--Congresses

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Symbolic dynamics and computation in model gene networks.

Authors: Edwards, R. Siegelmann, H. T. Aziza, K. et al.

Source: Chaos; Mar2001, Vol. 11 Issue 1, p160, 10p

Subject Terms: GENETICS, BIOLOGICAL models

Grammatical Theory

Authors: Müller, Stefan

Resource Type: eBook.

Subjects: Language arts

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General