Geben Sie ein Wort oder eine Phrase in einer beliebigen Sprache ein 👆
Sprache:
Übersetzung und Analyse von Wörtern durch künstliche Intelligenz
Auf dieser Seite erhalten Sie eine detaillierte Analyse eines Wortes oder einer Phrase mithilfe der besten heute verfügbaren Technologie der künstlichen Intelligenz:
- wie das Wort verwendet wird
- Häufigkeit der Nutzung
- es wird häufiger in mündlicher oder schriftlicher Rede verwendet
- Wortübersetzungsoptionen
- Anwendungsbeispiele (mehrere Phrasen mit Übersetzung)
- Etymologie
Was (wer) ist Warren Abstract Machine - definition
ABSTRACT MACHINE FOR THE EXECUTION OF PROLOG
Warren abstract machine
Abstract machine
![A run of a [[Turing machine]].](https://commons.wikimedia.org/wiki/Special:FilePath/2-state 3-symbol Turing Machine.png?width=200 "A run of a [[Turing machine]].")
![Pictorial representation of a [[Krivine machine]].](https://commons.wikimedia.org/wiki/Special:FilePath/Machine de Krivine.jpg?width=200 "Pictorial representation of a [[Krivine machine]].")
THEORETICAL MODEL OF A COMPUTER HARDWARE OR SOFTWARE SYSTEM USED IN AUTOMATA THEORY
Abstract computer; Abstract Machine
An abstract machine is a computer science theoretical model that allows for a detailed and precise analysis of how a computer system functions. It is analogous to a mathematical function in that it receives inputs and produces outputs based on predefined rules. Abstract machines vary from literal machines in that they are expected to perform correctly and independently of hardware. Abstract machines are “machines” because they allow step-by-step execution of programmes; they are “abstract” because they ignore many aspects of actual (hardware) machines. A typical abstract machine consists of a definition in terms of input, output, and the set of allowable operations used to turn the former into the latter. They can be used for purely theoretical reasons as well as models for real-world computer systems. In the theory of computation, abstract machines are often used in thought experiments regarding computability or to analyse the complexity of algorithms. This use of abstract machines is connected to th
abstract machine
THEORETICAL MODEL OF A COMPUTER HARDWARE OR SOFTWARE SYSTEM USED IN AUTOMATA THEORY
Abstract computer; Abstract Machine
1. <language> A processor design which is not intended to be
implemented as hardware, but which is the notional executor
of a particular intermediate language (abstract machine
language) used in a compiler or interpreter. An abstract
machine has an instruction set, a register set and a model
of memory. It may provide instructions which are closer to
the language being compiled than any physical computer or it
may be used to make the language implementation easier to
port to other platforms.
A virtual machine is an abstract machine for which an
interpreter exists.
Examples: ABC, Abstract Machine Notation, ALF, CAML,
F-code, FP/M, Hermes, LOWL,
Christmas, SDL, S-K reduction machine, SECD, Tbl,
Tcode, TL0, WAM.
2. <theory> A procedure for executing a set of instructions in
some formal language, possibly also taking in input data and
producing output. Such abstract machines are not intended to
be constructed as hardware but are used in thought
experiments about computability.
Examples: Finite State Machine, Turing Machine.
(1995-03-13)
Caml Light
DIALECT OF THE ML PROGRAMMING LANGUAGE FAMILY
Caml Light; Categorical Abstract Machine Language; Catagorical Abstract Machine; CaML
A small portable implementation of a version of CAML by
Xavier Leroy <Xavier.Leroy@inria.fr> and Damien Doligez of
INRIA. Caml Light uses a bytecode interpreter written in
C. It adds a Modula-2-like module system, {separate
compilation}, lazy streams for parsing and printing,
graphics primitives and an interface with C.
Version 0.6 runs on Unix, MS-DOS, Macintosh, Atari ST
and Amiga. It includes an interpreter, compiler,
Emacs mode, libraries, scanner generator, {parser
generator}, run-time support and an interactive development
environment.
The latest version, as of April 2003, is 0.75 and runs on
Unix, Macintosh and Windows.
The development of Caml Light has been stopped; current
development is on Objective Caml.
http://caml.inria.fr/distrib-caml-light-eng.html.
ftp://ftp.inria.fr/lang/caml-light/.
E-mail: <caml@inria.fr>.
Mailing list: <caml-list@inria.fr>.
Usenet newsgroup: news:comp.lang.ml.
(2003-04-12)
Wikipedia
Warren Abstract Machine
In 1983, David H. D. Warren designed an abstract machine for the execution of Prolog consisting of a memory architecture and an instruction set. This design became known as the Warren Abstract Machine (WAM) and has become the de facto standard target for Prolog compilers.
