Search results for "automaton"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	Mikhail V. Volkov	Synchronizing Automata Preserving a Chain of Partial Orders.	CIAA	2007	DBLP DOI BibTeX RDF	synchronizing automaton, ?erný conjecture, congruence on an automaton, weakly monotonic automaton, strongly connected automaton, deterministic finite automaton
4	Hiromasa Hoshino, Ayumi Shinohara, Masayuki Takeda, Setsuo Arikawa	Online Construction of Subsequence Automata for Multiple Texts. (PDF / PS)	SPIRE	2000	DBLP DOI BibTeX RDF	online construction, subsequence automata, multiple texts, subsequence automaton, minimum automaton, online algorithm, preprocessing, deterministic finite automaton, deterministic automata, alphabet
3	Kuo-Kun Tseng, Yuan-Cheng Lai, Ying-Dar Lin, Tsern-Huei Lee	A fast scalable automaton-matching accelerator for embedded content processors.	ACM Trans. Embedded Comput. Syst.	2009	DBLP DOI BibTeX RDF	Aho-Corasick, String matching, Bloom filter, automaton, content filtering
3	R. Jiang, Y. M. Yuan, K. Nishinari	On the Approximation Solution of a Cellular Automaton Traffic Flow Model and Its Relationship with Synchronized Flow.	Complex	2009	DBLP DOI BibTeX RDF	synchronized flow, cellular automaton, traffic flow
3	Yang Li, Zheng Li, Nenghai Yu, Ke Ma	APFA: Asynchronous Parallel Finite Automaton for Deep Packet Inspection in Cloud Computing.	CloudCom	2009	DBLP DOI BibTeX RDF	Asynchronous parallel finite automaton, Cloud computing, Deep packet inspection
3	Friedrich Otto, Heiko Stamer	Single-Path Restarting Tree Automata.	CAI	2009	DBLP DOI BibTeX RDF	restarting tree automaton, single-path top-down tree automaton, classes of tree languages, linear context-free tree language
3	Xiaowei Zhang, Yongming Li	Intuitionistic fuzzy recognizers and intuitionistic fuzzy finite automata.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Intuitionistic fuzzy recognizer, Intuitionistic fuzzy finite automaton, Deterministic intuitionistic fuzzy finite automaton, Intuitionistic fuzzy language
3	Dianxun Shuai	A Novel Network Behavior Model Based on Generalized Cellular Automaton.	ICIC	2008	DBLP DOI BibTeX RDF	generalized cellular automaton, agent colonies, macroscopic performance, computer networks, dynamical behavior
3	Seita Toguchi, Yuhei Akamine, Satoshi Endo	Research into the Generation of Sound Effects Using a Cellular Automaton.	ACRI	2008	DBLP DOI BibTeX RDF	sound generation, cellular automaton, physical simulation
3	Weiwei Sun, Yongrui Qin, Ping Yu, Zhuoyao Zhang, Zhenying He	HFilter: Hybrid Finite Automaton Based Stream Filtering for Deep and Recursive XML Data.	DEXA	2008	DBLP DOI BibTeX RDF	XML stream filtering, deep and recursive XML data, hybrid finite automaton, data prefix sharing, memory overflow control
3	Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne	Testing Whether a Binary and Prolongeable Regular Language LIs Geometrical or Not on the Minimal Deterministic Automaton of Pref(L).	CIAA	2008	DBLP DOI BibTeX RDF	minimal automaton, geometrical language, geometricity test, temporal validation, Finite automata, regular languages
3	Victor L. Selivanov, Klaus W. Wagner	Complexity of Aperiodicity for Topological Properties of Regular omega-Languages.	CiE	2008	DBLP DOI BibTeX RDF	Regular aperiodic ?-language, Wadge reducibility, aperiodic automaton, deterministic Muller automaton, nondeterministic Büchi automaton, monadic second-order formula
3	Sylvain Lombardy	On the Size of the Universal Automaton of a Regular Language.	STACS	2007	DBLP DOI BibTeX RDF	Universal Automaton, NFA Minimization, Regular languages
3	Gregory Kucherov, Laurent Noé, Mikhail A. Roytberg	Subset Seed Automaton.	CIAA	2007	DBLP DOI BibTeX RDF	subset seed, seed sensitivity, automaton, spaced seed
3	Ramón Alonso-Sanz, Margarita Martín	A Structurally Dynamic Cellular Automaton with Memory in the Hexagonal Tessellation.	ACRI	2006	DBLP DOI BibTeX RDF	Structurally Dynamic, Memory, Cellular Automaton, Hexagonal
3	Libor Polák	Syntactic Semiring and Universal Automaton.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF	syntactic semiring, universal automaton MSC 2000 Classification: 68Q45 Formal languages and automata
3	Péter Gács	Reliable Cellular Automata with Self-Organization.	FOCS	1997	DBLP DOI BibTeX RDF	noisy cellular automaton, fault-tolerant cellular automaton, probabilistic cellular automata, interacting particle system, Gibbs states, fault tolerance, reliability, cellular automata, cellular automata, self-organization, self organization, error-correction, ergodicity, renormalization
3	Nadia Nedjah, Colin D. Walter, Stephen E. Eldridge	Optimal Left-to-Right Pattern-Matching Automata.	ALP/HOA	1997	DBLP DOI BibTeX RDF	tree automaton, dag automaton, pattern-matching, Term rewriting system
3	Richard K. Squier, Kenneth Steiglitz, Mariusz H. Jakubowski	Implementation of Parallel Arithmetic in a Cellular Automaton.	ASAP	1995	DBLP DOI BibTeX RDF	particle machine, particle model, parallel arithmetic, cellular automaton
3	Ireneusz Sierocki	An Algebraic Transformation of the Minimum Automaton Identification Problem.	EUROCAST	1993	DBLP DOI BibTeX RDF	simplest hypothesis, identification, congruence, finite automaton
3	B. John Oommen, Jack R. Zgierski	Breaking Substitution Cyphers Using Stochastic Automata.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	substitution cyphers, finite plaintext alphabet, cypher alphabet, unigrams, trigrams, automaton solution, cypher learning automaton, learning, cryptography, learning systems, cardinality, stochastic automata, stochastic automata, statistical information, relaxation theory, relaxation scheme
2	Ali Safari Mamaghani, Mostafa Mahi, Mohammad Reza Meybodi	A Learning Automaton Based Approach for Data Fragments Allocation in Distributed Database Systems.	CIT	2010	DBLP DOI BibTeX RDF	Object migration learning automaton, Distributed Data fragment allocation, Distributed systems
2	José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil, José Ramón Garitagoitia, Francesc D. Muñoz-Escoí	Correctness proof of a database replication protocol under the perspective of the I/O automaton model.	Acta Inf.	2009	DBLP DOI BibTeX RDF
2	Shengpeng Yu, Xianbin Cao, Maobin Hu, Wenbo Du, Jun Zhang 0007	A real-time schedule method for aircraft landing scheduling problem based on cellular automaton.	GEC Summit	2009	DBLP DOI BibTeX RDF	aircraft landing scheduling, genetic algorithm, optimization, cellular automaton
2	Hiroto Sakai, Yusuke Ogura, Jun Tanida	Positional State Representation and Its Transition Control for Photonic DNA Automaton.	DNA	2009	DBLP DOI BibTeX RDF
2	Gerardo Perez, Yuridia P. Mejia, Ivan Olmos, Jesus A. Gonzalez, Patricia Sánchez, Candelario Vázquez	An Automaton for Motifs Recognition in DNA Sequences.	MICAI	2009	DBLP DOI BibTeX RDF
2	Yoshiteru Ishida, Tatsuya Hayashi	Asymmetric Phenomena of Segregation and Integration in Biological Systems: A Matching Automaton.	KES	2009	DBLP DOI BibTeX RDF	neural system, segregation and integration, matching automaton, Necker Cube, immune system, stable marriage problem
2	Yu. Medvedev	Cellular-Automaton Simulation of a Cumulative Jet Formation.	PaCT	2009	DBLP DOI BibTeX RDF	gas flow, cumulative jet, Cellular automata
2	Ming-Ming Xiao, Shun-Zheng Yu, Yu Wang	Automatic Network Protocol Automaton Extraction.	NSS	2009	DBLP DOI BibTeX RDF	protocol reverse engineering, automaton inference, regular expression, Protocol analysis
2	Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot	A New Family of Regular Operators Fitting with the Position Automaton Computation.	SOFSEM	2009	DBLP DOI BibTeX RDF
2	Markus Holzer, Andreas Maletti	An nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton.	CIAA	2009	DBLP DOI BibTeX RDF
2	Yanbing Liu, Yifu Yang, Ping Liu, Jianlong Tan	A Table Compression Method for Extended Aho-Corasick Automaton.	CIAA	2009	DBLP DOI BibTeX RDF
2	Adam Clarridge, Kai Salomaa	A Cellular Automaton Model for Car Traffic with a Slow-to-Stop Rule.	CIAA	2009	DBLP DOI BibTeX RDF	car traffic, single lane, simulation, model, cellular automata, highway
2	Michal Bidlo, Zdenek Vasícek	Development of combinational circuits using non-uniform cellular automata: initial results.	GECCO	2009	DBLP DOI BibTeX RDF	evolutionary algorithm, combinational circuit, development, cellular automaton
2	Diego Figueira	Satisfiability of downward XPath with data equality tests.	PODS	2009	DBLP DOI BibTeX RDF	bip automaton, data-tree, infinite alphabet, unranked unordered tree, xpath, xml, data values
2	Chin Soon Lee	Ranking functions for size-change termination.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	?-Automaton, multiple recursion, size-change termination, determinization, ranking function, termination analysis
2	Dana Pardubská, Martin Plátek, Friedrich Otto	Parallel Communicating Grammar Systems with Regular Control.	CAI	2009	DBLP DOI BibTeX RDF	parallel communicating grammar system, regular control, bounded communication complexity, freely rewriting restarting automaton
2	Christopher H. Broadbent, C.-H. Luke Ong	On Global Model Checking Trees Generated by Higher-Order Recursion Schemes.	FOSSACS	2009	DBLP DOI BibTeX RDF	Collapsible Pushdown Automaton, Parity Game, Model Checking, Game Semantics, Recursion Scheme
2	Pei He, Lishan Kang, Daochang Huang	Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations.	ISICA	2009	DBLP DOI BibTeX RDF	finite state automaton, model checking, Genetic programming, Hoare logic
2	Reuven Cohen, Pierre Fraigniaud, David Ilcinkas, Amos Korman, David Peleg	Label-guided graph exploration by a finite automaton.	ACM Transactions on Algorithms	2008	DBLP DOI BibTeX RDF	Distributed algorithms, labeling schemes, graph exploration
2	James M. Kay, Jeff Frolik	An Expedient Wireless Sensor Automaton With System Scalability and Efficiency Benefits.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2008	DBLP DOI BibTeX RDF
2	Jijie Xu, Zexiang Li	A Kinematic Model of Finger Gaits by Multifingered Hand as Hybrid Automaton.	IEEE T. Automation Science and Engineering	2008	DBLP DOI BibTeX RDF
2	Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg	A Context-Free Process as a Pushdown Automaton.	CONCUR	2008	DBLP DOI BibTeX RDF
2	Claude Kauffmann, Nicolas Piche	Cellular automaton for ultra-fast watershed transform on GPU.	ICPR	2008	DBLP DOI BibTeX RDF
2	Michael Müller, Georg-Peter Ostermeyer	A Cellular Automaton Model for Tribological Problems.	ACRI	2008	DBLP DOI BibTeX RDF	Tribology, Brake Systems, Wear, Self-Organization, Friction, Boundary Conditions
2	Hong Su, Elke A. Rundensteiner, Murali Mani	Automaton in or out: run-time plan optimization for XML stream processing.	SSPS	2008	DBLP DOI BibTeX RDF	optimization, XML, stream processing, query rewriting
2	Ole-Christoffer Granmo	A Bayesian Learning Automaton for Solving Two-Armed Bernoulli Bandit Problems.	ICMLA	2008	DBLP DOI BibTeX RDF
2	Jianhua Zhao, Linzhang Wang, Xuandong Li	A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking.	ISoLA	2008	DBLP DOI BibTeX RDF
2	Tomohiko Takagi, Zengo Furukawa	GB Coverage Criteria: The Measurement for Testing a "Go Back" Function Based on a Pushdown Automaton.	ISSRE	2008	DBLP DOI BibTeX RDF
2	Konstantinos Ioannidis, Georgios Ch. Sirakoulis, Ioannis Andreadis	A Cellular Automaton Collision-Free Path Planner Suitable for Cooperative Robots.	Panhellenic Conference on Informatics	2008	DBLP DOI BibTeX RDF
2	Helong Shen, Yong Yin, Yongjin Li	Real-time dynamic simulation of 3D cloud for marine search and rescue simulator.	VRCAI	2008	DBLP DOI BibTeX RDF	dynamic cloud simulation, marine search and rescue simulator, wind simulation, cellular automaton
2	Salamah Salamah, Ann Q. Gates, Steve Roach	Improving Pattern-Based LTL Formulas for Automata Model Checking.	ITNG	2008	DBLP DOI BibTeX RDF	B¨uchi Automaton, Prospec, Composite Propositions, Pattern, LTL, Scope
2	Matthias Rungger, Hao Ding, Olaf Stursberg	Multiscale Anticipatory Behavior by Hierarchical Reinforcement Learning.	ABiALS	2008	DBLP DOI BibTeX RDF	hybrid automaton, behavioral programming, artificial intelligence, Reinforcement learning, planning, hierarchical model
2	Norio Konno	Quantum Walks and Quantum Cellular Automata.	ACRI	2008	DBLP DOI BibTeX RDF	quantum cellular automaton, stochastic cellular automaton, quantum walk
2	Roberto Serra, Marco Villani, Chiara Damiani, Alex Graudenzi, Annamaria Colacci	The Diffusion of Perturbations in a Model of Coupled Random Boolean Networks.	ACRI	2008	DBLP DOI BibTeX RDF	genetic network model, random Boolean network, cell-criticality, interaction, cellular automaton
2	Farn Wang	Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions.	ATVA	2008	DBLP DOI BibTeX RDF	time progress, model-checking, convex, Timed automaton, concave, TCTL
2	A. N. Trahtman	Synchronizing Road Coloring.	IFIP TCS	2008	DBLP DOI BibTeX RDF	road coloring problem, synchronization, graph, deterministic finite automaton
2	Jan Lunze	Fault Diagnosis of Discretely Controlled Continuous Systems by Means of Discrete-Event Models.	Discrete Event Dynamic Systems	2008	DBLP DOI BibTeX RDF	Embedded map, Nondeterministic automaton, Fault diagnosis, Hybrid system, Completeness, Semi-Markov process, Timed automaton, Model abstraction
2	Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin	Robust safety of timed automata.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Robustness, Implementability, Perturbation, Timed automaton, Drift
2	Tomasz Jurdzinski, Friedrich Otto, Frantisek Mráz, Martin Plátek	On the Complexity of 2-Monotone Restarting Automata.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Restarting automaton, Growing context-sensitive language, completeness, Monotonicity
2	Ugo Dal Lago, Angelo Montanari, Gabriele Puppis	On the Equivalence of Automaton-Based Representations of Time Granularities.	TIME	2007	DBLP DOI BibTeX RDF
2	Ying-Dar Lin, Kuo-Kun Tseng, Chen-Chou Hung, Yuan-Cheng Lai	Scalable Automaton Matching for High-Speed Deep Content Inspection.	AINA Workshops	2007	DBLP DOI BibTeX RDF	String matching, Hashing, Finite automata, Coprocessor, Content filtering
2	Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi	An Efficient Computation of the Equation K-Automaton of a Regular K-Expression.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
2	Gurvan Le Guernic	Automaton-based Confidentiality Monitoring of Concurrent Programs.	CSF	2007	DBLP DOI BibTeX RDF
2	Michela Becchi, Patrick Crowley	A hybrid finite automaton for practical deep packet inspection.	CoNEXT	2007	DBLP DOI BibTeX RDF	regular expressions, DFA, deep packet inspection, NFA
2	Ioakeim G. Georgoudas, Georgios Ch. Sirakoulis, Ioannis Andreadis	An Intelligent Cellular Automaton Model for Crowd Evacuation in Fire Spreading Conditions.	ICTAI	2007	DBLP DOI BibTeX RDF
2	Maxime Crochemore, Chiara Epifanio, Alessandra Gabriele, Filippo Mignosi	On the Suffix Automaton with Mismatches.	CIAA	2007	DBLP DOI BibTeX RDF	suffix automata, languages with mismatches, approximate string matching, combinatorics on words
2	Marcella Anselmo, Dora Giammarresi, Maria Madonia	Tiling Automaton: A Computational Model for Recognizable Two-Dimensional Languages.	CIAA	2007	DBLP DOI BibTeX RDF	automata, determinism, two-dimensional languages
2	Fengjun Li, Bo Luo, Peng Liu, Dongwon Lee, Chao-Hsien Chu	Automaton segmentation: a new approach to preserve privacy in xml information brokering.	ACM Conference on Computer and Communications Security	2007	DBLP DOI BibTeX RDF	privacy, access control, xml
2	Julien Cervelle, Enrico Formenti, Pierre Guillon	Sofic Trace Subshift of a Cellular Automaton.	CiE	2007	DBLP DOI BibTeX RDF	sofic systems, cellular automata, formal languages, symbolic dynamics, discrete-time dynamical systems
2	Julien Groslambert	A.	B	2007	DBLP DOI BibTeX RDF	Büchi Automaton, Verification, LTL
2	Julien Groslambert	Verification of LTL on B Event Systems.	B	2007	DBLP DOI BibTeX RDF	Büchi Automaton, Verification, Refinement, LTL
2	Xiong Xie, Weishi Zhang	A Framework of Software Component Adaptation.	ICA3PP	2007	DBLP DOI BibTeX RDF	Component-based software engineering, Finite automaton, Component adaptation
2	Cong Tian, Zhenhua Duan	Model Checking Propositional Projection Temporal Logic Based on SPIN.	ICFEM	2007	DBLP DOI BibTeX RDF	Propositional Projection Temporal Logic, Model Checking, Verification, Spin, Automaton
2	Hidenosuke Nishio	Changing the Neighborhood of Cellular Automata.	MCU	2007	DBLP DOI BibTeX RDF	reversi- bility, simulator, cellular automaton, neighborhood, decision problem
2	Joachim Klein, Christel Baier	On-the-Fly Stuttering in the Construction of Deterministic omega -Automata.	CIAA	2007	DBLP DOI BibTeX RDF	Rabin, ?-automaton, determinization, LTL, deterministic, stuttering
2	Barbara Klunder	Finite Automata Accepting Star-Connected Languages.	CIAA	2007	DBLP DOI BibTeX RDF	trace monoid, star-connected language, finite automaton
2	Wael Abd-Almageed, Aly I. El-Osery, Christopher E. Smith	Estimating time-varying densities using a stochastic learning automaton.	Soft Comput.	2006	DBLP DOI BibTeX RDF
2	Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng	Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	model checking, formal method, timed automaton
2	Didier Lime, Olivier H. Roux	Model Checking of Time Petri Nets Using the State Class Timed Automaton.	Discrete Event Dynamic Systems	2006	DBLP DOI BibTeX RDF	Dense-time systems, Model-checking, Timed automata, Time petri nets
2	Xiaolong Shi, Linqiang Pan, Xu Jin	General DNA Automaton Model with R/W Tape.	ICIC	2006	DBLP DOI BibTeX RDF
2	Angelo B. Mingarelli, Samira El Yacoubi	On the Decidability of the Evolution of the Fuzzy Cellular Automaton 184.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
2	Turlough Neary, Damien Woods	P-completeness of Cellular Automaton Rule 110.	ICALP	2006	DBLP DOI BibTeX RDF
2	Gianpiero Cattaneo, Alberto Dennunzio, Fabio Farina	A Full Cellular Automaton to Simulate Predator-Prey Systems.	ACRI	2006	DBLP DOI BibTeX RDF
2	Jijie Xu, Yunjiang Lou, Zexiang Li	Hybrid Automaton: A Better Model of Finger Gaits.	IROS	2006	DBLP DOI BibTeX RDF
2	Qing E. Wu, Tuo Wang, YongXuan Huang, JiSheng Li	Theory Research on a New Type Fuzzy Automaton.	FSKD	2006	DBLP DOI BibTeX RDF
2	Ebaa Fayyoumi, B. John Oommen	A Fixed Structure Learning Automaton Micro-aggregation Technique for Secure Statistical Databases.	Privacy in Statistical Databases	2006	DBLP DOI BibTeX RDF
2	Tong Wang, Da-xin Liu, Xuan-Zuo Lin	Query Optimization Method Based on Automaton for Content-based Filtering.	AINA	2006	DBLP DOI BibTeX RDF
2	David Lo, Siau-Cheng Khoo	QUARK: Empirical Assessment of Automaton-based Specification Miners.	WCRE	2006	DBLP DOI BibTeX RDF
2	Daming Li, Ruo Li, Pingwen Zhang	A Cellular Automaton Technique for the Modeling of Solidification Microstructure in Multi-Component Alloys.	IMSCCS	2006	DBLP DOI BibTeX RDF
2	Feng Cao, Zhenfu Cao	A Proxy-Protected Signature Scheme Based on Finite Automaton.	IMSCCS	2006	DBLP DOI BibTeX RDF
2	Hanene Azzag, David Ratsimba, David Da Costa, Christiane Guinot, Gilles Venturini	On Building Maps of Web Pages with a Cellular Automaton.	BICC	2006	DBLP DOI BibTeX RDF
2	Leonidas G. Kotoulas, D. Tsarouchis, Georgios Ch. Sirakoulis, Ioannis Andreadis	1-d cellular automaton for pseudorandom number generation and its reconfigurable hardware implementation.	ISCAS	2006	DBLP DOI BibTeX RDF
2	Reza Iraji, M. T. Manzuri-Shalmani, Amir H. Jamalian, Hamid Beigy	IJA Automaton: Expediency and E-Optimality Properties.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
2	Carlos A. M. Del Carpio, Mohamed Ismael, Eiichiro Ichiishi, Michihisa Koyama, Momoji Kubo, Akira Miyamoto	An Evolving Automaton for RNA Secondary Structure Prediction.	IJCNN	2006	DBLP DOI BibTeX RDF
2	M. Anton Ertl, Kevin Casey, David Gregg	Fast and flexible instruction selection with on-demand tree-parsing automata.	PLDI	2006	DBLP DOI BibTeX RDF	tree parsing, dynamic programming, automaton, lazy, instruction selection
2	T. Kalyani, V. Rajkumar Dare, D. G. Thomas, T. Robinson	Iso-array Acceptors and Learning.	ICGI	2006	DBLP DOI BibTeX RDF	iso-picture languages, recognizable iso-picture languages, two-dimensional on-line tessellation automaton, Learning
2	Jingbo Hao, Jianping Yin, Boyun Zhang	Modeling Viral Agents and Their Dynamics with Persistent Turing Machines and Cellular Automata.	PRIMA	2006	DBLP DOI BibTeX RDF	Viral Agent, Persistent Turing Machine, Dynamics, Cellular Automaton
2	O. G. Sharov, A. N. Afanas'ev	Syntax-Directed Implementation of Visual Languages Based on Automaton Graphical Grammars.	Programming and Computer Software	2005	DBLP DOI BibTeX RDF
2	François Arnault, Thierry P. Berger	Design and Properties of a New Pseudorandom Generator Based on a Filtered FCSR Automaton.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	secret key cryptography, shift register, Pseudorandom generator, periodic sequences, 2-adic numbers