Automata and computability /

Automata and computability /

Saved in:

Bibliographic Details
Main Author:	Kozen, Dexter C.
Format:	Book
Language:	English
Published:	New York : Springer, c1997
Series:	Undergraduate texts in computer science
Subjects:	Automata > Computer Science
Online Access:	View in OPAC
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

History-deterministic Timed Automata
by: Sougata Bose, et al.
Published: (2024-10-01)

Migrating teaching of automata theory to a digital platform
by: Steven Jordaan, et al.
Published: (2024-12-01)

A topology for automata II
by: Arun K. Srivastava, et al.
Published: (1986-01-01)

Simulation of earthquakes with cellular automata
by: P. G. Akishin, et al.
Published: (1998-01-01)

Study of Recrystallization in Metals through Equiaxial Growth of Nuclei by Computational Simulation with Three-Dimensional Hybrid Cellular Automata
by: Henrique Costa Braga, et al.
Published: (2025-05-01)

Division of a Natural Number by Two: A Cellular Automata-Based Approach
by: Mohammad Zeynali Azim, et al.
Published: (2025-01-01)

A novel image encryption and decryption scheme integrating two-way chaotic maps, iterative cellular automata, and online tessellation automata
by: Helen Vijitha P, et al.
Published: (2025-09-01)

Redes neuronales y autómatas finitos
by: José E. Helo-Guzmán
Published: (2019-03-01)

Redes neuronales y autómatas finitos
by: José E. Helo-Guzmán
Published: (2019-03-01)

Self-Organizing Wireless Sensor Networks Solving the Coverage Problem: Game-Theoretic Learning Automata and Cellular Automata-Based Approaches
by: Franciszek Seredynski, et al.
Published: (2025-02-01)

D2-SYNCHRONIZATION IN NONDETERMINISTIC AUTOMATA
by: Hanan Shabana
Published: (2018-12-01)

Efficient identification of maximum independent sets in stochastic multilayer graphs with learning automata
by: Mohammad Mehdi Daliri Khomami, et al.
Published: (2024-12-01)

Resynchronized Uniformization and Definability Problems for Rational Relations
by: Christof Löding, et al.
Published: (2023-09-01)

A Method for Randomly Hiding Secret Encrypted Data in Images using Cellular Automata
by: Ansam Abdulmajeed, et al.
Published: (2019-06-01)

Uncertain Automata and Uncertain Graph Grammar
by: Florentin Smarandache, et al.
Published: (2024-12-01)

Encryption based on reversible cellular automata
by: PING Ping, et al.
Published: (2008-01-01)

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
by: Diego Figueira, et al.
Published: (2025-03-01)

Automata and Arithmetics in Canonical Number Systems
by: Tamás Herendi, et al.
Published: (2025-02-01)

Cities and cellular automata
by: Roger White
Published: (1998-01-01)

Dynamic Load Balancing Based on Hypergraph Partitioning for Parallel Geospatial Cellular Automata Models
by: Wei Xia, et al.
Published: (2025-03-01)

The Modeling of Counter Machines by Two-Head Finite Automata
by: E. V. Kuzmin, et al.
Published: (2015-03-01)

Deriving Synchronizing and Homing Sequences for Input/Output Automata
by: Natalia G. Kushik, et al.
Published: (2017-12-01)

Probabilistic Cellular Automata Monte Carlo for the Maximum Clique Problem
by: Alessio Troiani
Published: (2024-09-01)

Block cipher based on T-shaped cellular automata
by: WU Ying-zhi1, et al.
Published: (2009-01-01)

Density Classification with Non-Unitary Quantum Cellular Automata
by: Elisabeth Wagner, et al.
Published: (2024-12-01)

COMPLETELY REACHABLE ALMOST GROUP AUTOMATA
by: David Fernando Casas Torres
Published: (2024-12-01)

Land Use Prediction Using Markov – Cellular Automata in the Peusangan Watershed, Aceh
by: Rini Fitri*, et al.
Published: (2022-12-01)

Constant-delay enumeration for SLP-compressed documents
by: Martín Muñoz, et al.
Published: (2025-02-01)

Efficient Generator of Structural Topologies Based on Irregular Cellular Automata
by: Bogdan BOCHENEK, et al.
Published: (2017-03-01)

Orbits of one-dimensional cellular automata induced by symmetry transformations
by: Martin Schaller, et al.
Published: (2025-08-01)

Joint low power state assignment of sequential automata of a net implementing a parallel automaton
by: Yu. V. Pottosin
Published: (2023-03-01)

A propos the Puppeteer – Jean Vigo and the Cinema of Automata
by: Michael Wutz
Published: (2018-10-01)

A Cellular Automata-Based Crossover Operator for Binary Chromosome Population Genetic Algorithms
by: Doru Constantin, et al.
Published: (2025-08-01)

Multi-Objective Majority–Minority Cellular Automata Algorithm for Global and Engineering Design Optimization
by: Juan Carlos Seck-Tuoh-Mora, et al.
Published: (2024-09-01)

Antisquares and Critical Exponents
by: Aseem Baranwal, et al.
Published: (2023-09-01)

Pseudoperiodic Words and a Question of Shevelev
by: Joseph Meleshko, et al.
Published: (2023-10-01)

Decomposition of a parallel automaton into a net of sequential automata and low power state assignment of them at asynchronous implementation
by: Yu. V. Pottosin
Published: (2024-09-01)

Learning Automata with Artificial Reflecting Barriers in Games with Limited Information
by: Ismail Hassan, et al.
Published: (2022-05-01)

Movement Authorization for Train Control Systems Based on Cellular Automata
by: RAN Mengqiang, et al.
Published: (2025-07-01)

Parallel Communicating Finite Automata: Productiveness and Succinctness
by: Jingnan Xie, et al.
Published: (2025-04-01)