Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Electronic data processing --- Recursive functions --- Computable functions --- Informatique --- Fonctions récursives --- Fonctions calculables --- Fonctions récursives --- Fonctions calculables. --- Decidability (Mathematical logic) --- Recursive functions. --- Turing machines. --- Formal languages --- Computable functions. --- Décidabilité (logique mathématique) --- Langages formels. --- Fonctions récursives. --- Automates mathématiques, Théorie des. --- Turing, Machines de. --- Computer science --- Décidabilité (logique mathématique) --- Fonctions récursives. --- Automates mathématiques, Théorie des.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The third edition of Languages and Machines: An Introduction to the Theory of Computer Science provides readers with a mathematically sound presentation of the theory of computer science at a level suitable for junior and senior level computer science majors. The theoretical concepts and associated mathematics are made accessible by a "learn as you go" approach that develops an intuitive understanding of the concepts through numerous examples and illustrations. In this edition the presentation has been enhanced by increasing the number of examples, expanding the selection of topics particularly in the area of computational complexity, and providing a flexible format giving instructors the ability to design their courses that concentrate on specific areas such as automata theory, computability theory, or computational complexity. [Publisher]

regeling machines --- Formal languages. --- Machine theory. --- Formalization (Linguistics) --- Langages formels. --- Automates mathématiques, Théorie des. --- Computational complexity --- Formal languages --- Machine theory --- 681.3*F4 --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Language and languages --- Complexity, Computational --- Electronic data processing --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- Machine elements --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- machines --- Computational Complexity --- Computational complexity. --- Complexité de calcul (informatique) --- Théorie des automates mathématiques

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006. FORMATS aims to be a major annual event dedicated to the study of timed systems, uniting three independently started workshops: MTCS, RT-TOOLS, and TPTS. The first three FORMATS conferences were held in Marseille (2003), Grenoble (2004), and Uppsala (2005). Timing aspects of systems have been treated independently in separate scientific disciplines, and there is a growing awareness of the difficult problems common to all of them, suggesting the interdisciplinary study of timed systems. The unifying theme underlying all these domains is that they concern systems whose behavior depends upon combinations of logical and temporal constraints, e.g., constraints on the distance between occurrences of events. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems. In this volume, there are articles on: – Foundations and Semantics: contributions to the theoretical foundations of timed systems and timed formal languages as well as comparison between different models used by different communities (timed automata, timed Petri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models). – Methods and Tools: techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (mod- checking, simulation, robustness analysis, scheduling, etc).

Computer simulation --- Temporal automata --- Formal methods (Computer science) --- Machine theory --- Simulation par ordinateur --- Automates temporels --- Méthodes formelles (Informatique) --- Automates mathématiques, Théorie des --- Congresses. --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Special purpose computers. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Logics and Meanings of Programs. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Special Purpose and Application-Based Systems. --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Special purpose computers --- Computers --- Informatics --- Science --- Automata, Temporal --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Compilers (Computer programs). --- Computers, Special purpose. --- Computer Science Logic and Foundations of Programming. --- Compilers and Interpreters. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book introduces the reader to the notions, the techniques, and the theory of grammatical picture generation, a research field focusing on formal systems that describe sets of pictures by means of syntactic rules. The book presents important types of picture generators, using a tree-based approach to stress their common algorithmic basis, the treatment influenced by the theory of computation, and the theory of formal languages in particular. It guides the reader through the basics of the tree-based approach on to dedicated chapters on line-drawing languages, collage grammars, iterated function systems, grid picture languages, languages of fractals, and languages of coloured collages, while presenting results about (un)decidable, NP-complete, or efficiently solvable problems, normal forms, hierarchies of language classes, and related phenomena. In support, the book contains detailed exercises throughout. The book is of interest to researchers and graduate students in computer science and mathematics who are engaged with the theory and practice of picture-generating systems.

Fractals. --- Computer drawing. --- Image processing --- Digital techniques. --- Digital image processing --- Digital electronics --- Computer graphics --- Drawing --- Fractal geometry --- Fractal sets --- Geometry, Fractal --- Sets, Fractal --- Sets of fractional dimension --- Dimension theory (Topology) --- Digital techniques --- Computer science. --- Information theory. --- Computer simulation. --- Computer graphics. --- Computer vision. --- Computer Applications. --- Theory of Computation. --- Mathematics of Computing. --- Simulation and Modeling. --- Computer Graphics. --- Image Processing and Computer Vision. --- Machine vision --- Vision, Computer --- Artificial intelligence --- Pattern recognition systems --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Application software. --- Computers. --- Computer science—Mathematics. --- Optical data processing. --- Optical computing --- Visual data processing --- Bionics --- Integrated optics --- Photonics --- Computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Machine theory --- Calculators --- Cyberspace --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Optical equipment --- Informatique --- Computer science --- Langages formels --- Formal languages --- Formal languages. --- Automates abstraits

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Machine theory --- Formal languages --- Computer programming --- Automates mathématiques, Théorie des --- Langages formels --- Programmation (Informatique) --- Congresses. --- Congrès --- Computer Science --- Algebra --- Engineering & Applied Sciences --- Mathematics --- Physical Sciences & Mathematics --- Computer science. --- Software engineering. --- Data structures (Computer science). --- Computers. --- Numerical analysis. --- Computer science --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Discrete Mathematics in Computer Science. --- Numeric Computing. --- Data Structures. --- Data Structures, Cryptology and Information Theory. --- Mathematics. --- Computer programming. --- Programming Techniques. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Mathematical analysis --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Computer software engineering --- Engineering --- Informatics --- Science --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Programming --- Information theory. --- Computational complexity. --- Electronic data processing. --- Data structures (Computer scienc. --- Data Structures and Information Theory. --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Complexity, Computational --- Communication theory --- Communication --- Automation --- Computer science—Mathematics. --- Discrete mathematics. --- Artificial intelligence—Data processing. --- Software Engineering. --- Numerical Analysis. --- Data Science. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis