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)