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

The Resource
Machine theory
Resource Information

The concept

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

## Context

Context of Machine theory#### Subject of

No resources found

No enriched resources found

- A basis for theoretical computer science
- A concise introduction to languages and machines
- A course in formal languages, automata and groups
- A course in formal languages, automata and groups
- A descriptive catalogue of the several superb and magnificent pieces of mechanism and jewellery, exhibited in the museum, at Spring Gardens, Charing-Cross
- A graphic apology for symmetry and implicitness
- A second course in formal languages and automata theory
- Abstract computing machines : a lambda calculus perspective
- Abstract computing machines : a lambda calculus perspective
- Abstract machine models for highly parallel computers
- Advances in Petri Nets 1988
- Algebraic Automata Theory
- Algebraic automata theory
- Algebraic theory of automata
- Algebraic theory of automata and languages
- Algebraic theory of automata and languages
- Algebraic theory of automata networks : an introduction
- Algebraic theory of automata networks : an introduction
- Algebraic theory of automata,
- Algebraic theory of machines, languages, and semi-groups,
- Algorithmic Information Theory
- Algorithmic information theory
- An introduction to formal languages and automata
- Applications of automata theory and algebra : via the mathematical theory of complexity to biology, physics, psychology, philosophy, and games
- Applications of process algebra
- Applied automata theory.
- Archaeology of algorithmic artefacts
- Automata
- Automata Theory with Modern Applications
- Automata and computability
- Automata and languages
- Automata for branching and layered temporal structures : and investigation into regularities of infinite transition systemes
- Automata logics, and infinite games : a guide to current research
- Automata on infinite objects and Church's problem
- Automata studies
- Automata theory and its applications
- Automata theory with modern applications
- Automata theory.
- Automata theory: machines and languages
- Automata, languages, and machines
- Automata, universality, computation : tribute to Maurice Margenstern
- Automaton theory and learning systems,
- Automaton theory and modeling of biological systems
- Big data : algorithms, analytics, and applications
- Big data and analytics : strategic and organizational impacts
- Brains, machines, and mathematics
- Calvin C. Elgot selected papers
- Classical and quantum computation
- Codes and automata
- Combinatorics, automata, and number theory
- 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: finite and infinite machines
- Concurrency and nets : advances in Petri nets
- Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems
- Control of manipulation robots : theory and application
- Data clustering : algorithms and applications
- Descriptive catalogue of the several superb and magnificent pieces of mechanism and jewellery, exhibited in the museum, at Spring-Gardens, Charing-Cross
- Descriptive set theoretic methods in automata theory : decidability and topological complexity
- Discrete mathematical structures and their applications
- Dynamical systems, automata, and infinite groups : collected papers
- Dynamics of manipulation robots : theory and application
- Elements of automata theory
- Elements of the theory of computation
- Exploring randomness
- Feasible computations and provable complexity properties
- Feasible computations and provable complexity properties
- Formal Languages, Automata and Numeration Systems 2 : Applications to Recognizability and Decidability
- Formal and natural computing : essays dedicated to Grzegorz Rozenberg
- Formal languages and their relation to automata
- Formal languages, automata and numeration systems, 1, Introduction to combinatorics on words
- Formal languages; automata and structures
- Formal verification of mathematical software
- Foundations of XML processing : the tree-automata approach
- Foundations of computer science IV : distributed systems
- Fundamentals of machine theory and mechanisms
- Fuzzy semigroups
- Fuzzy semigroups
- Fuzzy semirings with applications to automata theory
- Grammatical sets in half-ring morphologies
- Graph algebras and automata
- Groups, languages, and automata
- Groups, languages, and automata
- Handbook of process algebra
- Infinite words : automata, semigroups, logic and games
- Information, randomness & incompleteness : papers on algorithmic information theory
- Introduction to automata
- Introduction to automata theory, languages, and computation
- Introduction to automata theory, languages, and computation
- Introduction to the theory of finite-state machines
- Kinematics of machinery through HyperWorks
- L'ère des robots
- Logic and automata : history and perspectives
- Logic and automata : history and perspectives
- Logical characterization of automata
- Machine learning models and algorithms for big data classification : thinking with examples for effective learning
- Machines, languages, and computation
- Mathematical aspects of computer science.
- Mathematical aspects of computer science.
- Mathematical foundations of computer science
- Mathematical theory of switching circuits and automata
- Mechanism design : a linear programming approach
- Modelling, state observation, and diagnosis of quantised systems
- Modelling, state observation, and diagnosis of quantised systems
- Neural computation in Hopfield networks and Boltzmann machines
- Non-standard parameter adaptation for exploratory data analysis
- Noncommutative rational series with applications
- Nonlinear time-discrete systems : a general approach by nonlinear superposition
- Nonsequential processes : a Petri net view
- Perspectives in concurrency theory : a festschrift for P.S. Thiagarajan
- Problem solving in automata, languages, and complexity
- Process Algebra
- Process algebra
- Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
- Regulated grammars and automata
- Research on output feedback control of systems with ill-conditioned dynamics : interim report, January 1984 - June 1984
- Revue francaise d'automatique, informatique, recherche operationnelle, sommaire:
- Semigroups and combinatorial applications
- Stable networks and product graphs
- Structural theory of automata, semigroups, and universal algebra
- Synthesis of digital automata.
- The Universal Turing machine : a half-century survey
- The language machine
- The recursive universe : cosmic complexity and the limits of scientific knowledge
- The space and motion of communicating agents
- The theory of computation
- The unknowable
- Theories of abstract automata
- Theories of computability
- Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday
- Theory of self-reproducing automata.
- Topics in mathematical system theory
- Understanding information and computation : from Einstein to Web science
- Words, semigroups & transductions : Festschrift in honor of Gabriel Thierrin

## Embed

### 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.libraries.ou.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.libraries.ou.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.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</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.libraries.ou.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.libraries.ou.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.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>`