A Theory of Ultimately Periodic Languages and Automata With an Application to Time Granularity

A Theory of Ultimately Periodic Languages and Automata With an Application to Time Granularity

Бібліографічні деталі
Автори:	Bresolin, D, Montanari, A, Puppis, G
Формат:	Journal article
Опубліковано:	2009

Схожі ресурси

Time Granularities and Ultimately Periodic Automata
за авторством: Bresolin, D, та інші
Опубліковано: (2004)

On the Relationships Between Theories of Time Granularity and the Monadic Second−order Theory of One Successor
за авторством: Montanari, A, та інші
Опубліковано: (2006)

Compact and Tractable Automaton−based Representations for Time Granularities
за авторством: Lago, U, та інші
Опубліковано: (2007)

Towards Compact and Tractable Automaton−based Representations of Time Granularity
за авторством: Dal Lago, U, та інші
Опубліковано: (2003)

Fuzzy automata and languages : theory and applications /
за авторством: 367679 Mordeson, John N., та інші
Опубліковано: (c200)

Minimal Memory Automata
за авторством: Benedikt, M, та інші
Опубліковано: (2010)

APPLICATION OF A CELLULAR AUTOMATA MODEL TO GRANULAR FLOW
за авторством: JAN KOZICKI, та інші
Опубліковано: (2002-07-01)

Automata for Branching and Layered Temporal Structures: an investigation into regularities of infinite transition systems
за авторством: Puppis, G
Опубліковано: (2010)

Automata vs. Logics on Data Words
за авторством: Benedikt, M, та інші
Опубліковано: (2010)

Automata vs. Logics on Data Words
за авторством: Benedikt, M, та інші
Опубліковано: (2010)

Decidability of MSO Theories of Tree Structures
за авторством: Montanari, A, та інші
Опубліковано: (2004)

A Contraction Method to Decide MSO Theories of Deterministic Trees
за авторством: Montanari, A, та інші
Опубліковано: (2007)

Automata theory : machines and languages /
за авторством: 457711 Kain, Richard Y.
Опубліковано: (1972)

Theory of automata, languages and computation /
за авторством: 514760 Kumar, Rajendra
Опубліковано: (c201)

Algebraic theory of automata and languages /
за авторством: Masami Ito, 1941-
Опубліковано: (2004)

Decidability of the Theory of the Totally Unbounded omega−Layered Structure
за авторством: Montanari, A, та інші
Опубліковано: (2004)

Introduction to automata theory, languages, and computation /
за авторством: Hopcroft, John E., 1939-, та інші
Опубліковано: (1979)

Introduction to automata theory, languages, and computation /
за авторством: Hopcroft, John E., 1939-, та інші
Опубліковано: (2006)

Introduction to automata theory, languages, and computation /
за авторством: Hopcroft, John E., 1939-, та інші
Опубліковано: (2001)

Application of Automata Theory On n-th Order Limit Language
за авторством: Siti Hajar, Mohd Khairuddin, та інші
Опубліковано: (2021)

Modern applications of automata theory /
за авторством: D'souza, Deepak, та інші
Опубліковано: (2012)

CPT443 – Automata Theory & Formal Languages (Teori Automata & Bahasa Formal)
за авторством: PPSKOM, Pusat Pengajian Sains Komputer
Опубліковано: (2021)

Theory of computer science : automata, languages and computation /
за авторством: 449386 Mishra, K. L. P., та інші
Опубліковано: (2007)

Theory of finite automata : with an introduction to formal languages /
за авторством: Carroll, John, 1951-, та інші
Опубліковано: (1989)

Mobile Learning Application for Language and Automata Theory using Android-based
за авторством: Maulana Muhamad Sulaiman, та інші
Опубліковано: (2020-12-01)

Uniform sampling for timed automata with application to language inclusion measurement
за авторством: Kwiatkowska, M, та інші
Опубліковано: (2016)

A second course in formal languages and automata theory /
за авторством: 262775 Shallit, Jeffrey
Опубліковано: (2009)

The Theory of Timed I/O Automata
за авторством: Kaynar, Dilsun K., та інші
Опубліковано: (2005)

The Theory of Timed I/O Automata
за авторством: Kaynor, Dilsun K., та інші
Опубліковано: (2005)

The theory of timed I/O automata /
за авторством: Kaynar, Dilsun K.
Опубліковано: (2006)

CPT443 – AUTOMATA THEORY & FORMAL LANGUAGES [TEORI AUTOMATA & BAHASA FORMAL] JUN 2017
за авторством: PPSKOM, Pusat Pengajian Sains Komputer
Опубліковано: (2017)

CPT443 – AUTOMATA THEORY & FORMAL LANGUAGES [TEORI AUTOMATA & BAHASA FORMAL] JUN 2016
за авторством: PPSKOM, Pusat Pengajian Sains Komputer
Опубліковано: (2016)

Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
за авторством: Karine Altisen, та інші
Опубліковано: (2010-06-01)

On the Equivalence of Automaton−Based Representations of Time Granularities
за авторством: Lago, U, та інші
Опубліковано: (2007)

Language Preservation Problems in Parametric Timed Automata
за авторством: Étienne André, та інші
Опубліковано: (2020-01-01)

Fuzzy switching and automata : theory and applications /
за авторством: 405730 Kandel, Abraham, та інші
Опубліковано: (1979)

Fuzzy semirings with applications to automata theory /
за авторством: Ahsan, Javed, та інші
Опубліковано: (2012)

Automata, computability and complexity : theory and applications /
за авторством: 233695 Rich, Elaine
Опубліковано: (2008)

Automata theory/
за авторством: Caianiello, Eduardo R., 1921-, та інші
Опубліковано: (1966)

Theory of automata /
за авторством: 459218 Salomaa, Arto
Опубліковано: (1969)