#
Machine theory
Resource Information
The concept ** Machine theory** represents the subject, aboutness, idea or notion of resources found in **Brigham Young University**.

The Resource
Machine theory
Resource Information

The concept

**Machine theory**represents the subject, aboutness, idea or notion of resources found in**Brigham Young University**.- Label
- Machine theory

#### 100+ Items that share the Concept Machine theory

## Context

Context of Machine theory#### Subject of

- A basis for theoretical computer science
- A calculus of communicating systems
- A graphic apology for symmetry and implicitness
- A procedure for transforming a nondeterministic pushdown acceptor in real time form into an equivalent deterministic acceptor
- A second course in formal languages and automata theory
- Abstract automata
- Abstract machine models for highly parallel computers
- Abstract machines and grammars
- Algebraic automata theory
- Algebraic structures in automata and databases theory
- Algebraic theory of automata
- Algebraic theory of automata
- Algebraic theory of machines, languages, and semi-groups,
- Algorithmic information theory
- An engineering approach to digital design
- An introduction to automata theory
- An introduction to formal languages and Automata
- An introduction to formal languages and automata
- An overview of artificial intelligence and robotics
- Archaeology of Algorithmic Artefacts
- Are computers alive? : evolution and new life forms
- Automata
- Automata
- Automata and languages
- Automata computability and complexity : theory and applications
- Automata on infinite objects and Church's problem,
- Automata studies
- Automata theory : machines and languages
- Automata theory and its applications
- Automata theory with modern applications
- Automata, languages, and machines
- Automatic defense against zero-day polymorphic worms in communication networks
- Automaton theory and learning systems: edited by D. J. Stewart from contributions selected by Stafford Beer, F. H. George and the late Richard Goodman
- Automaton theory and modeling of biological systems
- Brains, machines, and mathematics
- Calvin C. Elgot selected papers
- Classical and quantum computation
- Codes and automata
- Communication and concurrency
- Computability, complexity, and languages : fundamentals of theoretical computer science
- Computation engineering : applied automata theory and logic
- Computation of language : an essay on syntax, semantics, and pragmatics in natural man-machine communication
- Computation theory and logic
- Computation: finite and infinite machines
- Computer algebra : symbolic and algebraic computation
- Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems
- Concurrent behaviour : sequences, processes and programming languages
- Design and application of small standardized components data book 757
- Discrete mathematical structures and their applications
- Discrete mathematical structures with applications to computer science
- Discrete-event system theory : an introduction
- Dynamical systems, automata, and infinite groups : collected papers
- Elements of the theory of computation
- Elements of the theory of computation
- Exploring randomness
- Feasible computations and provable complexity properties
- Finite automata
- Finite automata, formal logic, and circuit complexity
- Formal languages and their relation to automata
- Formal languages, automata and numeration systems 1 : Introduction to combinatorics on words
- Formal languages; automata and structures
- Foundations of XML processing : the tree-automata approach
- Fuzzy automata and decision processes
- Fuzzy switching and automata : theory and applications
- Graph algebras and automata
- Groups, systems and many-body physics
- In our own image : savior or destroyer? : the history and future of artificial intelligence
- Information and randomness : an algorithmic perspective
- Introduction to automata
- Introduction to automata theory, languages, and computation
- Introduction to automata theory, languages, and computation
- Introduction to computable languages and abstract machines
- Introduction to discrete structures for computer science and engineering
- Introduction to logic for systems modelling
- Introduction to the theory of computation
- Introduction to the theory of finite-state machines
- Labyrinth problems : labyrinth-searching abilities of automata
- Languages and machines : an introduction to the theory of computer science
- Lectures on automata theory,
- Logic, computers, and sets
- Machine intelligence and robotics : report of the NASA Study Group : final report
- Mathematical aspects of computer science
- Mathematical theory of switching circuits and automata
- Meta math! : the quest for omega
- Neural computation in Hopfield networks and Boltzmann machines
- Noncommutative rational series with applications
- Nonsequential processes : a Petri net view
- Picture languages : formal models for picture recognition
- Problem solving in automata, languages, and complexity
- Process algebra
- Product nets : a formal description technique for cooperating systems
- Semantic networks : an evidential formalization and its connectionist realization
- Semigroups and combinatorial applications
- Semirings, automata, languages
- Simulated annealing and Boltzmann machines : a stochastic approach to combinatorial optimization and neural computing
- Stable networks and product graphs
- Statistical and machine learning approaches for network analysis
- Stochastic optimization and control : proceedings of an advanced seminar
- Studies in abstract families of languages
- Synthesis of digital automata
- The Theory of mathematical machines.
- The Universal Turing machine : a half-century survey
- The collected works of J. Richard Büchi
- The connection machine
- The convergence of machine and human nature : a critique of the computer metaphor of mind and artificial intelligence
- The language machine
- The language of machines : an introduction to computability and formal languages
- The mathematical foundations of programming : or, perhaps, The mathematical foundations of computing
- The recursive universe : cosmic complexity and the limits of scientific knowledge
- The robot book
- The theory of computation
- The theory of computer science : a programming approach
- Theories of abstract automata
- Theories of computability
- Theory of computation
- Theory of computation
- Theory of computation : an introduction
- Theory of computation : formal languages, automata, and complexity
- Theory of self-reproducing automata
- Topics in mathematical system theory
- Understanding computation
- Universal theory of automata : a categorical approach

## Embed (Experimental)

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.lib.byu.edu/resource/5XLNP-PmxS0/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.lib.byu.edu/resource/5XLNP-PmxS0/">Machine theory</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.lib.byu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.lib.byu.edu/">Brigham Young University</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Concept Machine theory

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.lib.byu.edu/resource/5XLNP-PmxS0/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.lib.byu.edu/resource/5XLNP-PmxS0/">Machine theory</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.lib.byu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.lib.byu.edu/">Brigham Young University</a></span></span></span></span></div>`