About: Abstract machine     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Whole100003553, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FAbstract_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 comp

AttributesValues
rdf:type
rdfs:label
  • آلة مجردة (ar)
  • Màquina abstracta (ca)
  • Automat (Informatik) (de)
  • Αυτόματο (el)
  • Abstract machine (en)
  • Máquina abstracta (es)
  • Machine abstraite (fr)
  • Automa (informatica) (it)
  • 추상 기계 (ko)
  • 抽象機械 (ja)
  • Máquina abstrata (pt)
  • Абстрактный автомат (ru)
  • Automat (datavetenskap) (sv)
  • 抽象機器 (zh)
  • Абстрактний автомат (uk)
rdfs:comment
  • Αυτόματο ονομάζεται μια μηχανή με βάση την οποία ελέγχεται αν μια ανήκει σε μια τυπική γλώσσα. Λειτουργεί σαν μία μηχανή Τούρινγκ χωρίς έξοδο (εναλλακτικά ως έξοδος μπορεί να θεωρηθεί ένα δυαδικό ψηφίο). Εισέρχεται ως είσοδος η λέξη γράμμα-γράμμα, το αυτόματο μεταβαίνει ανάλογα με την είσοδο σε διάφορες καταστάσεις, με μία μετάβαση ανά γράμμα και μόλις ολοκληρωθεί η είσοδος αν η τελική κατάσταση είναι κατάσταση "αποδοχής" η λέξη εγκρίνεται αλλιώς η λέξη απορρίπτεται. Ο αριθμός των καταστάσεων είναι πεπερασμένος για κάθε αυτόματο. Τα αυτόματα απεικονίζονται γραφικά με . Αυτόματη είναι μια συσκευή η οποία μπορεί να εκτελέσει εργασίες αυτόματα , δηλαδή χωρίς τον χειρισμό κάποιου. (el)
  • 抽象機械(ちゅうしょうきかい)とは、計算モデルのうち、チューリングマシンなどのような「機械っぽい」ものを指す語である。 (ja)
  • En automat eller tillståndsmaskin är enkel matematisk modell som kan genomför enkla beräkningar. (sv)
  • Абстрактний автомат (також абстрактна машина, абстрактний комп'ютер; англ. abstract machine) — теоретична модель апаратної або програмної обчислювальної системи, побудована на основі теорії автоматів. Використовується як у інформатиці, так і у комп'ютерній інженерії і, зазвичай, неявно базується на парадигмі дискретного часу. Процес, у якому переходи виконуються під впливом зовнішніх дій, моделюється за допомогою автомата. Використовуючи автомати, можна моделювати багато машин, включаючи компоненти комп'ютера, також можна дослідити питання розв'язності і складності різних задач. (uk)
  • 抽象機器(英語:Abstract machine),又稱抽象電腦(abstract computer),利用自動機理論,建立出電腦硬體或軟體的理論模型。把運算過程抽象化,一般來說是採用離散時間模型,可應用於電腦科學或電腦工程。在計算理論中,抽象機器經常被當成是一種思想實驗,用來推論可計算性(computability),或是分析演算法的複雜度。 (zh)
  • آلة مجردة abstract machine أو حاسوب مجرد abstract computer هي نموذج نظري (افتراضي) لنظام حاسوبي عتادي أو برمجي يستخدم في نظرية الأتمتة. تستخدم هذه الآلات النظرية في إجراء عملية تجريد لعملية الحوسبة بكافة إجرائياتها وتستخدم من ثم في فروع علوم الحاسب وهندسة الحاسوب وغالبا ما تفترض باراديغم أو أسلوب عمل في زمن متقطع discrete time. (ar)
  • En teoria de la complexitat computacional, una màquina abstracta és un model teòric d'un computador usat en teoria d'autòmats. L'abstracció de processos computacionals s'usa en les disciplines de les ciències de la computació i en enginyeria informàtica i normalment s'assumeix el paradigma de temps discret. Una màquina abstracta també pot ser el model d'un disseny d'un microprocessador que encara no s'hagi implementat en maquinari. Una màquina abstracta implementada com un simulador per programari s'anomena una màquina virtual. (ca)
  • 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 comp (en)
  • Ein Automat oder eine abstrakte Maschine ist in der Informatik, speziell in der Automatentheorie, das Modell eines digitalen, zeitdiskreten Rechners. Ob es möglich oder sinnvoll ist, eine solche Maschine tatsächlich zu bauen, ist dabei zunächst unerheblich. Die Vereinfachung der Fähigkeiten erlaubt es, das Verhalten eines Automaten leichter zu verstehen und zu vergleichen. (de)
  • Una máquina abstracta, también llamada un computador abstracto, es un modelo teórico de un sistema computador de hardware o software usado en la teoría de autómatas. La abstracción de procesos computacionales es usada en las disciplinas de las ciencias de la computación y la ingeniería de computación y usualmente asume el paradigma de . Mediante el uso de máquinas abstractas es posible calcular la cantidad de recursos (tiempo, memoria, etc.) necesarios para realizar una operación en particular sin tener que construir un sistema real para hacerlo. (es)
  • En informatique théorique, et notamment en théorie des automates, un automate abstrait ou une machine abstraite est un modèle théorique d'un ordinateur digital et discret. Il importe peu, dans ce cadre, de savoir si cet appareil peut effectivement être construit, mais plutôt d'appréhender, par ce modèle simplifié, le fonctionnement des machines, et de les comparer entre eux. (fr)
  • In teoria dei sistemi dinamici, un automa è un sistema dinamico discreto (nella scansione del tempo e nella descrizione del suo stato) e tempo-invariante (il sistema si comporta alla stessa maniera indipendentemente dall'istante di tempo in cui agisce). Quando l'automa si trova in un dato stato, esso può accettare solo un sottoinsieme dei simboli del suo alfabeto. L'evoluzione di un automa parte da un particolare stato detto stato iniziale. Un sottoinsieme privilegiato dei suoi stati è detto insieme degli stati finali o marcati. (it)
  • 추상기계(抽象機械, abstract machine)는 컴퓨터 하드웨어나 소프트웨어의 이상적인 모형이다. 흔히 추상 컴퓨터(abstract computer)라고도 한다. 컴퓨터의 동작을 추상화하는 것은 컴퓨터 과학 같은 이론적 분야 뿐 아니라 공학에서도 널리 사용한다. 보통 추상기계를 다룰 때는 에서 모형화한다. 계산 이론에서는 추상기계를 사고실험에 사용하여 계산 가능성이나 알고리즘의 복잡도를 추정한다. (계산 복잡도 이론 참고). 일반적인 추상기계는 입력과 출력, 그리고 입력을 출력으로 변환시키는 명령등으로 구성된다. 추상기계의 가장 유명한 예는 튜링 기계이다. 추상기계의 조금 더 복잡한 형태는 완전한 명령어 집합, 프로세서 레지스터 및 메모리 구조까지 모두 갖추고 있다. 추상기계 중에서 실제 컴퓨터의 형태와 매우 유사한 것으로는 원하는 메모리에 랜덤 액세스가 가능한 이 있다. 흔히 하드웨어로 만들어지지 않은 마이크로프로세서의 설계를 추상기계라고 부르는 경우가 있다. 소프트웨어 시뮬레이션 용도로 만든 추상기계, 혹은 인터프리터가 존재하는 추상기계는 가상기계라고 부른다. (ko)
  • Uma máquina abstrata (ou computador abstrato) é um modelo teórico de um sistema computacional de hardware ou software usado para detalhar o funcionamento do sistema, usado na teoria dos autômatos. A abstração de processos computacionais é usada tanto na ciência da computação quanto na engenharia de software, e geralmente assume um tempo discreto, dividido em amostras. Através das máquinas abstratas é possível estipular a quantidade de recursos (como em tempo e espaço de armazenamento) necessária para realizar uma tarefa sem construir o sistema de fato. (pt)
  • Абстра́ктный автома́т (в теории алгоритмов) — математическая абстракция, модель дискретного устройства, имеющего один вход, один выход и в каждый момент времени находящегося в одном состоянии из множества возможных. На вход этому устройству поступают символы одного алфавита, на выходе оно выдаёт символы (в общем случае) другого алфавита. Формально абстрактный автомат определяется как пятёрка Абстрактный автомат с выделенным начальным состоянием называется инициальным автоматом. Таким образом, абстрактный автомат определяет семейство инициальных автоматов (ru)
differentFrom
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/2-state_3-symbol_Turing_Machine.png
  • http://commons.wikimedia.org/wiki/Special:FilePath/A_hierarchy_of_abstract_machines.png
  • http://commons.wikimedia.org/wiki/Special:FilePath/Machine_de_Krivine.jpg
  • http://commons.wikimedia.org/wiki/Special:FilePath/The_structure_of_an_abstract_machine.png
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 54 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software