Cargando…

Formal definition in programming, Automata and formal languages

Detalles Bibliográficos
Autor principal:	Ollongren, Alexander
Lenguaje:	eng
Publicado:	1976
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/1069151

Ejemplares similares

Express Learning: Automata Theory and Formal Languages
por: Kandar, Shyamalendu
Publicado: (2012)

Automata and formal languages : an introduction
por: Kelley, Dean
Publicado: (1995)

An introduction to formal languages and automata
por: Linz, Peter
Publicado: (2017)

Formal languages and automata theory
por: Sunitha, K V N, et al.
Publicado: (2015)

Theory of automata, formal languages and computation
por: Xavier, SPE
Publicado: (2004)

Introduction to automata theory, formal languages and computation
por: Kandar, Shyamalendu
Publicado: (2013)

A course in formal languages, automata and groups
por: Chiswell, Ian M
Publicado: (2009)

Teoría de autómatas y lenguajes formales
Publicado: (2001)

Teoría de autómatas y lenguajes formales
por: Kelley, Dean
Publicado: (1995)

Automata-theoretic aspects of formal power series /
por: Salomaa, Arto
Publicado: (1978)

The formal semantics of programming languages : an introduction /
por: Winskel, Glynn
Publicado: (1993)

Formal specification of programming languages : a panoramic primer /
por: Pagan, Frank G.
Publicado: (1981)

Handbook of formal languages
por: Rozenberg, Grzegorz, et al.
Publicado: (1997)

Formalization of natural languages
por: Kuemmel, Peter
Publicado: (1979)

Introduction to formal languages
por: Révész, György E.
Publicado: (1991)

Finite automata, their algebras and grammars: towards a theory of formal expressions
por: Büchi, J Richard, et al.
Publicado: (1989)

A Formal Model for Semantic Computing Based on Generalized Probabilistic Automata
por: Huang, Guangjian, et al.
Publicado: (2019)

Automata, languages, and machines
por: Eilenberg, Samuel, et al.
Publicado: (1976)

The 32nd International Colloquium on Automata, Languages and Programming
Publicado: (2005)

33rd International Colloquium on Automata, Languages and Programming
Publicado: (2006)

34th International Colloquium on Automata, Languages and Programming
Publicado: (2007)

Formal languages and computation : models and their applications
por: Meduna, Alexander
Publicado: (2014)

Formal Methods in Manufacturing
por: Campos, Javier, et al.
Publicado: (2018)

Formal models, languages and applications
por: Subramanian, K G, et al.
Publicado: (2006)

Models of computation and formal languages /
por: Taylor, Ralph Gregory
Publicado: (1998)

Well-quasi orders in computation, logic, language and reasoning: a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
por: Schuster, Peter, et al.
Publicado: (2020)

Language skills differences between adults without formal education and low formal education
por: Pereira, Ariane, et al.
Publicado: (2022)

The language profile of formal thought disorder
por: Çokal, Derya, et al.
Publicado: (2018)

Formalizing biomedical concepts from textual definitions
por: Petrova, Alina, et al.
Publicado: (2015)

Degree of enhancement: A theoretical and formal definition
por: Cassioli, Federico, et al.
Publicado: (2023)

Symposium on Automata, languages and programming
por: Nivat, Maurice
Publicado: (1973)

Formal methods in computer system design
por: Hoare, C A R
Publicado: (1989)

Picture languages: formal models for picture recognition
por: Rosenfeld, Azriel
Publicado: (1979)

A Formal Language-Based Approach in Biology
por: Gheorghe, Marian, et al.
Publicado: (2004)

Formal Languages in Information Extraction and Graph Databases
por: Martens, Wim
Publicado: (2020)

Work-sensitive Dynamic Complexity of Formal Languages
por: Schmidt, Jonas, et al.
Publicado: (2021)

Informal and formal mathematics interventions: cognitive foundations
por: Geary, David C, et al.
Publicado: (2019)

Unitarity eikonal formalism for multiproduction at high energy
por: Rédei, L B
Publicado: (1973)

Probability logics: probability-based formalization of uncertain reasoning
por: Ognjanović, Zoran, et al.
Publicado: (2016)

Lorentz analysis of dual-resonance models in operator formalism
por: Combes, J M, et al.
Publicado: (1971)

Cannot write session to /tmp/vufind_sessions/sess_cqqk9tbgpt0iaj1qad9058vaos