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

Chi tiết về thư mục
Những tác giả chính:	Bresolin, D, Montanari, A, Puppis, G
Định dạng:	Journal article
Được phát hành:	2009

Những quyển sách tương tự

Time Granularities and Ultimately Periodic Automata
Bằng: Bresolin, D, et al.
Được phát hành: (2004)

On the Relationships Between Theories of Time Granularity and the Monadic Second−order Theory of One Successor
Bằng: Montanari, A, et al.
Được phát hành: (2006)

Compact and Tractable Automaton−based Representations for Time Granularities
Bằng: Lago, U, et al.
Được phát hành: (2007)

Towards Compact and Tractable Automaton−based Representations of Time Granularity
Bằng: Dal Lago, U, et al.
Được phát hành: (2003)

Fuzzy automata and languages : theory and applications /
Bằng: 367679 Mordeson, John N., et al.
Được phát hành: (c200)

Minimal Memory Automata
Bằng: Benedikt, M, et al.
Được phát hành: (2010)

APPLICATION OF A CELLULAR AUTOMATA MODEL TO GRANULAR FLOW
Bằng: JAN KOZICKI, et al.
Được phát hành: (2002-07-01)

Automata for Branching and Layered Temporal Structures: an investigation into regularities of infinite transition systems
Bằng: Puppis, G
Được phát hành: (2010)

Automata vs. Logics on Data Words
Bằng: Benedikt, M, et al.
Được phát hành: (2010)

Automata vs. Logics on Data Words
Bằng: Benedikt, M, et al.
Được phát hành: (2010)

Decidability of MSO Theories of Tree Structures
Bằng: Montanari, A, et al.
Được phát hành: (2004)

A Contraction Method to Decide MSO Theories of Deterministic Trees
Bằng: Montanari, A, et al.
Được phát hành: (2007)

Automata theory : machines and languages /
Bằng: 457711 Kain, Richard Y.
Được phát hành: (1972)

Theory of automata, languages and computation /
Bằng: 514760 Kumar, Rajendra
Được phát hành: (c201)

Algebraic theory of automata and languages /
Bằng: Masami Ito, 1941-
Được phát hành: (2004)

Decidability of the Theory of the Totally Unbounded omega−Layered Structure
Bằng: Montanari, A, et al.
Được phát hành: (2004)

Introduction to automata theory, languages, and computation /
Bằng: Hopcroft, John E., 1939-, et al.
Được phát hành: (1979)

Introduction to automata theory, languages, and computation /
Bằng: Hopcroft, John E., 1939-, et al.
Được phát hành: (2006)

Introduction to automata theory, languages, and computation /
Bằng: Hopcroft, John E., 1939-, et al.
Được phát hành: (2001)

Application of Automata Theory On n-th Order Limit Language
Bằng: Siti Hajar, Mohd Khairuddin, et al.
Được phát hành: (2021)

Modern applications of automata theory /
Bằng: D'souza, Deepak, et al.
Được phát hành: (2012)

CPT443 – Automata Theory & Formal Languages (Teori Automata & Bahasa Formal)
Bằng: PPSKOM, Pusat Pengajian Sains Komputer
Được phát hành: (2021)

Theory of computer science : automata, languages and computation /
Bằng: 449386 Mishra, K. L. P., et al.
Được phát hành: (2007)

Theory of finite automata : with an introduction to formal languages /
Bằng: Carroll, John, 1951-, et al.
Được phát hành: (1989)

Mobile Learning Application for Language and Automata Theory using Android-based
Bằng: Maulana Muhamad Sulaiman, et al.
Được phát hành: (2020-12-01)

Uniform sampling for timed automata with application to language inclusion measurement
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2016)

A second course in formal languages and automata theory /
Bằng: 262775 Shallit, Jeffrey
Được phát hành: (2009)

The Theory of Timed I/O Automata
Bằng: Kaynar, Dilsun K., et al.
Được phát hành: (2005)

The Theory of Timed I/O Automata
Bằng: Kaynor, Dilsun K., et al.
Được phát hành: (2005)

The theory of timed I/O automata /
Bằng: Kaynar, Dilsun K.
Được phát hành: (2006)

Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
Bằng: Karine Altisen, et al.
Được phát hành: (2010-06-01)

CPT443 – AUTOMATA THEORY & FORMAL LANGUAGES [TEORI AUTOMATA & BAHASA FORMAL] JUN 2017
Bằng: PPSKOM, Pusat Pengajian Sains Komputer
Được phát hành: (2017)

CPT443 – AUTOMATA THEORY & FORMAL LANGUAGES [TEORI AUTOMATA & BAHASA FORMAL] JUN 2016
Bằng: PPSKOM, Pusat Pengajian Sains Komputer
Được phát hành: (2016)

On the Equivalence of Automaton−Based Representations of Time Granularities
Bằng: Lago, U, et al.
Được phát hành: (2007)

Language Preservation Problems in Parametric Timed Automata
Bằng: Étienne André, et al.
Được phát hành: (2020-01-01)

Fuzzy switching and automata : theory and applications /
Bằng: 405730 Kandel, Abraham, et al.
Được phát hành: (1979)

Fuzzy semirings with applications to automata theory /
Bằng: Ahsan, Javed, et al.
Được phát hành: (2012)

Automata, computability and complexity : theory and applications /
Bằng: 233695 Rich, Elaine
Được phát hành: (2008)

Automata theory/
Bằng: Caianiello, Eduardo R., 1921-, et al.
Được phát hành: (1966)

Theory of automata /
Bằng: 459218 Salomaa, Arto
Được phát hành: (1969)