automaton

In language theory , the simplest algorithms are those which can be implemented by finite automata, the subject of this book.

Inorder to begin to answer the central question of automata theory, it is necessary to define in a formal way what an automaton is.

According to the theory of Cellular Automata, we built an improved traffic-flow model, and gave the evolving rules of every vehicle.

The theory of finite automata is the mathematical theory of a simple class of algorithms that are important in computer science.

As a branch of artificial intelligence, cellular automata can be used to model and simulate the complex systems and artificial life systems.

Since the simplicity of component unit in cellular automata, it has a unique advantage in the password field.

One of us (Macdonald) led the project and trained several high school students to test automata , mostly during summers and on Saturdays.

For curricula automata subject a more advanced graduate course, computability theory and computational complexity theory are also covered.

Use pigeon- holing arguments and closure properties to prove particular problems cannot be solved by finite automata .

We have demonstrated some of the abilities of our DNA gates by building automata that play perfect games of tic-tac-toe.

Cellular automata(CA) is of discrete dynamical systems within various dynamical behaviors including complex dynamics.

As with all elementary cellular automata, its definition, illustrated in Figure 4, is quite simple -- a small diagram defines it completely.

RBC system for the five process timed automata model, as well as other external devices timed automata model are established in the UPPAAL.

Introduces the notion of Finite Precision Timed Automata(FPTA) and focuses on the representation of clocks in a state.

Using DCM as a data structure for the reachability analysis algorithm for multirate automata, the complexity can considerably be decreased.

Intuitionistic fuzzy finite automata theory is an important part of automata theory.

Developed from Lattice Gas Cellular Automata (LGCA), Lattice-Boltzmann method is a special discrete scheme of Boltzmann equation.

Unfortunately, automata theory tells us that no tool could ever statically determine which programs will throw null-pointer exceptions.

The characteristics and theory of lattice gas automata have been introduced.

Scanner automata, design of algorithm translation to generate TOKEN, keyword, industry at table, symbol table, constant table.

An orthogonal design and cellular automata based acceleration parallel genetic algorithm (APGA) is presented.

Cellular automata are used to bridge the gap between the micro level and the macro level.

An automata network model is a powerful modeling tool in complex systems. The key character of the method is a bottom-to-up way.

By studying elementary cellular automata, Wolfram found that complex behavior could arise from simple mechanisms.

We can use Cellular Automata modeling diffusion of two different matters and establish sample of evolution law of diffusions. . .

Cellular Automata is a kind of dynamic model whose time, space and state are discrete and a method of studying nonlinear science.

In this course we concentrate on languages (e. g. sets of words) described by finite automata, context-free grammars and Turing machines.

Finite Automata, Regular Languages, Regular Expressions.

In this paper the SEIRS epidemic spread is analysed, and a two-dimensional probability cellular automata model for SEIRS is presented.

Until now, a large number of cryptosystems based on chaos and cellular automata have been proposed and systematically analyzed.

The paper models queue system using queuing theory, finite state machine principle, and cellular automata model.

In this paper it introduces an approach to compress and code gray image using deterministic Generalized Finite Automata(GFA).

The multi-pattern algorithm based on Deterministic Finite Automata(DFA) is commonly used in deep packet inspection systems.

NET2005 famous serial achieve Cellular Automata : the game of life, sharks and fish simulation of the marine environment.

This paper first briefly introduces timed automata, clock region, region equivalence and clock zone.

second, simulation and analysis of Cellular Automata in the orientation of individual behaviors.

Theory and application of Lattice Gas Automata and Lattice Boltzmann Method in fluid flied is discussed in detail.

I'll concentrate in this article on one-dimensional cellular automata, whose cells can be in one of two states, 0 or 1.

Nowlets talk about something like, nowadays we have Meta-model, Meta-language, Meta-data, a lot of Meta, so what do you think automata.

The squeegee ground parallel to the cutting edge is located at (Automata) publishes drum of center line.

In this paper, the computer simulation method for fluid flows and Lattice Automata method are studied in detail.

By solving the diffusion equation using the lattice gas automata (LGA), we develop a numerical technique for the modeling of flu.

Finally, Timed Automata Network of route-control process is simulated and verified in UPPAAL.

The budget-minded Trade Federation cut valuable corners in the production of their Baktoid Combat Automata battle droids.

Chapter 3 characterizes the discussion of periodic point of several Additive Cellular Automata local rule mappings.

But to realize the full potential of automata on the Web , there is a need for further work to make information understandable to machines .

A new algorithm for reproduction pattern recognition in the cellular automata is proposed here.

Animals like birds were viewed as lovely automata capable only of stereotyped activity.

the backward iteration of the cellular automata is used to recover the shared secrets.

According to clock zone, infinite state space of timed automata can be transformed to finite.

A novel cellular automata (CA)-coupling and controllable CA(CCCA) is proposed in this paper.

The cellular automata, this new method is used in the research on the concrete carbonation and the aggregate distribution effect.

Based on the theory of complexity adaptive system, we build a cellular automata model to simulate the complex process of epidemic spread.

Based on the theory of cellular automata, evolving cellular automata(ECA) model is set up considering the fundamental of rock mechanics.

Cellular Automata is especially adapted to dynamic modeling studying of time and space evolution progress of complex system.

Based on the models, existence conditions and whitening method of whitening solution for grey hyperbolic hybrid automata are proposed.

analysed the stress field, temperature field and coupled physical field of the milling insert based on the theory of cellular automata.

Specialty Variants of GA's: Parallel GA's, Diffusion GA, Micro-GA and Cellular automata.

GRAFCET is a programming language dedicated to industrial automata (Arzul gives details in his post).

It is the goal of computability theory of automata to answer just this question.

The Application of Cellular Automata in the "Digital Oilfield"

A three-dimensional quantum cellular neural network is proposed by using the quantum cellular automata as neuron cells.

A cellular automata model for studying the evolution process of rock fracture is given.

Cellular Automata provides us with a virtual microcosmic world. It can reproduce physical phenomenon that fit common law in some scales.

Finally, based on the above escaping model combine the Rough Set theory with Cellular Automata to state the cells evolution.

Study on simulation models of the occupant evacuation based on "cellular automata"

The utilization of cellular automata phase unwrapping method in 3 D sensing of complex object shapes has been studied.

Figure 6 shows the iteration of the Cellular Automata Forest Fire Model, skipping appropriately to show the effect of the rule set.

Cellular automata have a wide range of uses in circuit designing computer security etc.

A new model for ant colony optimization (ACO) algorithm based on cellular automata (CA) theory was presented.

EHUD SHAPIRO and YAAKOV BENENSON began collaborating to build molecular automata in 1999.

Simulation of pedestrian evacuation flow is presented based on cellular automata(CA) in this paper.

In this paper, based on fuzzy finite automata, the algorithms of minimal fuzzy automata are concerned.

This paper analyses the semantics of CFSM model and provides an algorithm of transforming a CFSM model to finite automata.

Neumann, J. V. 1966. Theory of Self-Reproducing Automata.

Cellular automata is a model that can simulate complex structure and process.

Based on the cellular automata theory, a new method of designing irregular weave by computer is introduced.

There are a number of useful models of automata.

A new improved edge detection algorithm of images based on cellular automata is presented.

As remarkable as progress has been with digital automata , there is much more to be done .

We formulate, in this paper, algorithms for boundary tracing based on automata.

So, the study on the properties oflatticed-valued automata and their languages are very important.

Wolfram's first key idea was to use computer experiments to study the behavior of simple computer programs known as cellular automata.

The method based on Timed Automata is proposed to model route-control process.

At first, the conceptions of fuzzy set, automata and fuzzy automata are given.

It briefly describes the nature of excitable media, the knowledge of Sinus and cardiac pacemakers, as well as cellular automata and so on.

Chapter4. How to use the timed automata model checking tool -UPPAAL is introduced here.

2D cellular automata are composed of cells in a 2D grid commonly called the universe.

In this article, I've only used cyclic space, but other types of 2D cellular automata, such as Hodgepodge, could be used.

These new kind of automata were developed to meet the needs of society in Japan.

Two-dimensional cellular automata model on mixed traffic flow with considering the effect of the length of cars'and its' turning

Study of Erosion Process and Drug Release Characteristics for a ControlledDrug Release Micro-carrier Using Cellular Automata

Integrating spatial patterns into a snow avalanche cellular automata model

Cellular Automata Model In Autobiographical Memory Research and Its Application In Reverse Psychological Education

Cellular Automata Model to Simulate the Phase Transformation of Ferrite for a Low Carbon Steel Under Deformation and Cooling

The Architecture and Circuital Implementation Scheme of A New Generalized Cellular Automata

Cellular automata simulation and its applications in metallurgical material design

Chaotic Character Analysis of an One-dimensional Five-neighborhood Cellular Automata for encryption

Multiple secrets are packed into one big secret, which is considered as one of the initial configurations of the cellular automata;

A study of coupling effect in cellular automata model of traffic flow for two-lane with open boundary conditions

chapter Attribute grammar Automata Automatic code generator Auxiliary routine Available expression

Structural topology optimization using evolutionary cellular automata

Characteristic Representation of Symmetric Ternary Cellular Automata

Graphical Workflow Process Modeling and its Automata-Based Dynamic Semantics

Analytical Learning-Based Intelligent Cellular Automata for Realistic and Idealized Urban Simulation

Desertification Evolution Modeling through the Integration of GIS and Cellular Automata

Research on physical cellular automata and microscopical mechanism of elasticity-brittleness-plasticity of rock

A behavior classification of a one-dimensional cellular automata

Application of Cellular Automata in Market with Consumers'Experience and Behavioral Interdependence

Cryptanalysis of a Variant of a Cellular Automata Based Cryptosystem

An Algorithm to Dynamically Reduce the State Space of Timed Automata during the Reachability Analysis

Orthogonal Design and Cellular Automata Based Acceleration Parallel Genetic Algorithm

Simulation of Dynamic Recrystallization Process Using Cellular Automata

Relationship of multiplicity automata and deterministic automata

Behavior Modeling for Application Software Using Hierarchical Automata

A study on multi-speed cellular automata model of traffic flow of Main-road with Two-lane under the traffic light control

A Method to Reduce the Number of Unknown Parameters Existing in the Cellular Automata-Urban Space Model

Homogeneous Characteristic of Additive Cellular Automata

The normal form of regular expressions of finite automata

Minimize connective finite automata and Its complexity

Cellular Automata Simulation of Location Selection for Regional Logistics Centers

Application of Cellular Automata in hydraulic turbine performance data processing

Two-dimension Cellular Automata with Moore Neighborhood Model for Application of Image Processing

Initial(Final) State Testing Sequence, UIO Sequence and Synchronous Sequence of Product of Finite Automata

Fundamental and application of cellular automata on concrete carbonization

Administration System for Office Automata Run in Mobile Devices in the Pervasive Computing Environment

State Transition Diagram of Pushdown Automata and Simplification of Pushdown Automata

Reproduction Patterns in the Arbitrary Neighborhood Rule Cellular Automata

The intrinsic capacity of cellular automata is introduced to design parallel genetic algorithm;

Cellular automata applicable to the assessment of warship survivability

The Application of Cellular Automata in Simulating the Spatial-temporal Dynamic Development Process of Soil Erosion

Simulating Urban Development Density Using Cellular Automata

An algorithm for the reproduction patterns recognition in the cellular automata

Distance Based Cellular Automata Simulation for Employee Behaviors

Application of Cellular Automata in Landscape Pattern Optimization

Simulation of Silicon Anisotropic Etching Using Cellular Automata Method

Evaluation of the Ship Cabin Fire Hazard Based on Cellular Automata

Cellular automata and their application to modeling Spatial-temporal process of urban development

Microstructure Modeling with Cellular Automata Method

Cellular Automata Model for Bioreactor of Traditional Activated Sludge System

The quantum mechanics analysis on the cellular automata finite deep potential trough model in the solid medium

Load Spatial Distribution Forecasting Model on Cellular Automata Theory

Research of multi-agent and cellular automata based microscopic traffic simulation

Improvement on a Reachability Analysis Algorithm in Timed Automata

Numerical experiment of seismic migration using cellular automata

Application of Fuzzy Automata to Electromagnetic Wave Recognition

Cellular Automata and Its Application to Economics

GIS-based cellular automata models and researches on spatial complexity of man-land relationship

An Approach to the Compositional Refinement Checking of Interface Automata

Two-Dimensional Cellular Automata Based Pseudo-Random Bit Sequence Generator

Study on Simulation of Silicon Anisotropic Etching Using Cellular Automata Method

Application of Fractal Cellular Automata to Self-Organized Criticality

Extending Odd-even Cellular Automata Model and Its Analyses

Comprehensive Theory of Automata and Formal Languages

On the Brittleness of Infectious Disease Diffusion with Theory Cellular Automata

Cellular automata approach to investigation of high burn-up structures in nuclear reactor fuel

Quantum Cellular Automata and Emulation Realization

Cellular automata for analysis of plane problems in theory of elasticity

Analysis of error propagation and uncertainties in urban cellular automata

An Improved Minimum-Distance Method for Mining Transition Rules of Cellular Automata

Cellular automata for simulating complex land use systems using neural networks

Cellular Automata Model to Simulate the Infect of the Epidemic Diseases

Allelopathy of invasive weeds: A simulation study with cellular automata model

Dynamical equation of chromosome telomere in cellular automata

The application of cellular automata in environmental sciences

Automatic Abstraction Algorithm for Timed Automata

Decomposition of Weakly Invertible Finite Automata

Application of Cellular Automata Simulation in Marketing

Cellular automata simulation of dendritic crystal growth

Reachability Checking of Finite Precision Timed Automata

A simple cellular automata model for packet transport in the Interne

Simulation on Microscopic Drying Process in Porous Media With Lattice Gas Automata

Stochastic push-down automata with a cutpoint A

An One Dimension Cellular Automata Model of Network Traffic Behavior Analysis

Immunity-based Learning Methods for Rule Adjustment of Cellular Automata

Cellular Automata Model on how Good Behavior of Babies Comes into being in Nursery Environment

Researches on equivalence class of autonomous linear automata

A Heterogeneous Cellular Automata Model for SARS Transmission

Cellular Automata Model of Traffic Flow and Traffic Capacity with Open Boundaries

Data structure designed for finite automata computation

Simulation of the Spread Knowledge Inside Knowledge-based Organization Based on Cellular Automata

An Object-oriented Geographical Cellular Automata

Application of cellular automata for cryptography

Application of Stochastic Learning Automata for BP Neural Networks

Application of multiplicity automata to text search and statistics

Application of Coupled Toggle Cellular Automata in Data Encryption

Advances of the Studies on the Cellular Automata and Artificial Life

Functions of Zero State of Linear Finite Automata

Two Results of Decomposing Weakly Invertible Finite Automata

Research into Crossroad Cellular Automata Traffic Flow Model

An automata approach to match gapped sequence tags against protein database

A Finite Automata Model for Optimistic Contract Signing Protocols

Cellular Automata Simulation of Magnetic Thin Film Growth Process

Learning of Deterministic Finite Automata at Exact Learning Model

A Novel Full Adder Implementation Using Quantum Cellular Automata

Efficiently Processing XML Path Queries Using Automata

A Multi-material Lattice Gas Automata Model for Diffusion and Chemical Reaction

An Improved Cellular Automata Model for Simulation of Ink-wash Diffusion Effect

A Novel Parameterization for the Space of Cellular Automata Rules

Implementation and application of automata

Study on a Three-lane Controlled Cellular Automata Traffic Model

Application of cellular automata method in process simulation of MEMS

An Approach to Mechanical Analysis of Plane Truss Using Cellular Automata

A Novel Self-Organizing Approach to Network Information Exploitation Based on Generalized Cellular Automata

Modeling and Simulation of Adsorption and Stabilization Processes in Activated Sludge Based on Cellular Automata

Health Evolution Simulation of the Knowledge-based Enterprise Based on Cellular Automata

A String Matching Algorithm with the Reversed Finite Automata

Two-dimensional Cellular Automata Models of Traffic Flow with Police

Introduction to Automata Theory, Languages, and Computation

Some Results on Equivalence Class of Autonomous Affine Automata

An application of distinct excluded blocks in cellular automata

An Artificial Financial Market Based on Cellular Automata and Its Simulation

Penicillin Fermentation Process Optimal Control Strategy Based on Cellular Automata Model

Pseudorandom Number Generation Based on Coupling and Controllable Cellular Automata

Algebraic Theory of Automata and Languages

Study on Cellular Automata Model for the Evolution Process of Rock Fracture

Generalized Definition and Discussion of Some Concepts in Finite State Automata

Real-time system; schedulability analysis; timed automata; multi-core system;

Study on the Cellular Automata Model and Size Effect of Tension Failure Simulation

The model on automata of the logic network of gene intersection

A New Method for Numerical Experiments on Porous Rocks with Lattice Gas Automata

Computing with words of pushdown lattice-valued automata

The Progress of Geoscientific Study on Cellular Automata

Interaction between multi-direction particles of phase transition model based on lattice gas automata method

Discussions on the cellular automata model and application of GIS

A Model for Automatic Fractures Identification with Acoustic Imaging Logging Based on Cellular Automata

Solutions to the network capacity assignment problem based on continuous learning automata

Data Clustering Algorithm Based On Swarm Intelligence and Generalized Cellular Automata

Lattice gas automata simulation on drying process in porous media

Establishment and Solution of the drill string mechanics model based on cellular automata

Homomorphisms in Lattices of Quantum Automata

Simulating Beach Cusps with Cellular Automata

Language and Automata Theory and Applications

Cellular automata model in design of railway route selection

Cellular Automata Model of Traffic Flow With Open Boundaries

Finite State Automata Representation of Bi-level Images

Affecting Factors of the Lattice Gas Automata

The Construction and Bisimulation between Two Model of Timed Automata

Schedulability Analysis of the CAN Network Using Timed Automata

Microscopic Traffic Simulation Mathematic Model Based on Cellular Automata

Linear Complexity Analysis of the Pseudo-random Sequence Based on Cellular Automata

A Multi-agent Model Based on Cellular Automata for Simulating Human Behavior to Assess Building Design Performance

Study on a three-lane cellular automata traffic flow model

Growth of Organizations in Cellular Automata

Equivalence of Tests of Environment Automata

Two-lane Cellular Automata Traffic Model Based on the Characteristic of Initiative Lane Change of Fast and Slow Vehicles

Unregulated table structure Web information extraction based on finite state automata

The study of shortcoming and extension of standard cellular automata

Cellular Automata Based High-Speed Key Generation

Design for a Class of Finite Automata