Simulation of sensor nodes for energy conception in wireless sensor networks using finite automata
Proceedings of the International Conference on Advances in Computing, Communication and Control
Model-based reasoning on the achievement of business goals
Proceedings of the 2009 ACM symposium on Applied Computing
Extracting Behavior Specification of Components in Legacy Applications
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Dominance and equivalence for sensor-based agents
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Configuring a real time radio signal processor on an embedded system using compiled XML
SIP '07 Proceedings of the Ninth IASTED International Conference on Signal and Image Processing
Cybernetics and Systems Analysis
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Towards increased road safety: real-time decision making for driverless city vehicles
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
On minimizing cover automata for finite languages in O(n log n) time
CIAA'02 Proceedings of the 7th international conference on Implementation and application of automata
State complexity of basic operations on nondeterministic finite automata
CIAA'02 Proceedings of the 7th international conference on Implementation and application of automata
Sequence disunification and its application in collaborative schema construction
WISE'07 Proceedings of the 2007 international conference on Web information systems engineering
Learning Deterministic Regular Expressions for the Inference of Schemas from XML Data
ACM Transactions on the Web (TWEB)
One-stack automata as acceptors of context-free languages
Journal of Computing Sciences in Colleges
A framework for the competitive evaluation of model inference techniques
Proceedings of the First International Workshop on Model Inference In Testing
Enumeration of gap-bounded set partitions
Journal of Automata, Languages and Combinatorics
On the complexity of regular-grammars with integer attributes
Journal of Computer and System Sciences
Generating, sampling and counting subclasses of regular tree languages
Proceedings of the 14th International Conference on Database Theory
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Compliant business process design using refinement layers
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Better hyper-minimization: not as fast, but fewer errors
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
Math word question generation for training the students with learning difficulties
Proceedings of the International Conference & Workshop on Emerging Trends in Technology
QFilter: rewriting insecure XML queries to secure ones using non-deterministic finite automata
The VLDB Journal — The International Journal on Very Large Data Bases
DFAspike: A new computational proposition for efficient recognition of epileptic spike in EEG
Computers in Biology and Medicine
Fast, memory-efficient regular expression matching with NFA-OBDDs
Computer Networks: The International Journal of Computer and Telecommunications Networking
Embeddable framework for syntax-safe source code generation
Proceedings of the 2012 Joint International Conference on Human-Centered Computer Environments
Relating automata to other fields
Journal of Computing Sciences in Colleges
Fundamental features of metabolic computing
MICAI'11 Proceedings of the 10th international conference on Artificial Intelligence: advances in Soft Computing - Volume Part II
Foundations of regular expressions in XML schema languages and SPARQL
PhD '12 Proceedings of the on SIGMOD/PODS 2012 PhD Symposium
Generating a Petri net from a CSP specification: A semantics-based method
Advances in Engineering Software
An alternating hierarchy for finite automata
Theoretical Computer Science
A coarse-grained parallel algorithm for the matrix chain order problem
Proceedings of the 2012 Symposium on High Performance Computing
An automaton Constraint for Local Search
Fundamenta Informaticae - RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
A predictive speller controlled by a brain-computer interface based on motor imagery
ACM Transactions on Computer-Human Interaction (TOCHI)
Unary coded NP-complete languages in ASPACE (log log n)
DLT'12 Proceedings of the 16th international conference on Developments in Language Theory
Descriptional complexity of deterministic regular expressions
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
Journal of Computer and System Sciences
Partition refinement of Component Interaction Automata
Science of Computer Programming
Aligot: cryptographic function identification in obfuscated binary programs
Proceedings of the 2012 ACM conference on Computer and communications security
Computers in Biology and Medicine
MCA2: multi-core architecture for mitigating complexity attacks
Proceedings of the eighth ACM/IEEE symposium on Architectures for networking and communications systems
Automated Comparison of State-Based Software Models in Terms of Their Language and Structure
ACM Transactions on Software Engineering and Methodology (TOSEM)
Deciding definability by deterministic regular expressions
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Hybrid system for handling premature convergence in GA - Case of grammar induction
Applied Soft Computing
Use case and task models: An integrated development methodology and its formal foundation
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Empirical Software Engineering
Word equations with length constraints: what's decidable?
HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing
Theoretical Computer Science
Software and Systems Modeling (SoSyM)
A regular expression matching engine with hybrid memories
Computer Standards & Interfaces
| Hi-index | 0.00 |
This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational complexity. The authors present the theory in a concise and straightforward manner, with an eye out for the practical applications. Exercises at the end of each chapter, including some that have been solved, help readers confirm and enhance their understanding of the material. This book is appropriate for upper-level computer science undergraduates who are comfortable with mathematical arguments.