An Entity of Type: person, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

An abstract machine, also called an abstract computer, is a theoretical computer used for defining a model of computation. Abstraction of computing processes is used in both the computer science and computer engineering disciplines and usually assumes a discrete time paradigm.

Property Value
dbo:abstract
  • 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. En teoria de la complexitat, les màquines abstractes normalment s'usen com experiments mentals sobre computabilitat o per analitzar la complexitat d'algorismes. Una màquina abstracta típica consisteix en una definició en termes d'entrada, sortida i un conjunt d'operacions permeses per transformar les entrades en sortides. L'exemple més famós és la màquina de Turing. Els tipus abstracte de dades es poden definir en termes de màquines abstractes i les seves operacions semàntiques. Per exemple, un pila (stack) es pot especificada en termes d'operacions d'una màquina abstracta amb una memòria. Amb l'ús de màquines abstractes és possible calcular la quantitat de recursos (temps, memòria, etc.) necessaris per realitzar una operació en particular sense haver de construir el sistema físic. Hi ha definicions més complexes que creen màquines abstractes amb un conjunt d'instruccions, registres i models de memòria. Un model popular i similar als ordinadors moderns és la , que permet accés aleatori a adreces de memòria. Com que el rendiment varia segons els diferents nivells de memòria cau, models sensibles a les memòries cau i models com el de l' van adquirint molta importància. 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)
  • Αυτόματο ονομάζεται μια μηχανή με βάση την οποία ελέγχεται αν μια ανήκει σε μια τυπική γλώσσα. Λειτουργεί σαν μία μηχανή Τούρινγκ χωρίς έξοδο (εναλλακτικά ως έξοδος μπορεί να θεωρηθεί ένα δυαδικό ψηφίο). Εισέρχεται ως είσοδος η λέξη γράμμα-γράμμα, το αυτόματο μεταβαίνει ανάλογα με την είσοδο σε διάφορες καταστάσεις, με μία μετάβαση ανά γράμμα και μόλις ολοκληρωθεί η είσοδος αν η τελική κατάσταση είναι κατάσταση "αποδοχής" η λέξη εγκρίνεται αλλιώς η λέξη απορρίπτεται. Ο αριθμός των καταστάσεων είναι πεπερασμένος για κάθε αυτόματο. Τα αυτόματα απεικονίζονται γραφικά με . Αυτόματη είναι μια συσκευή η οποία μπορεί να εκτελέσει εργασίες αυτόματα , δηλαδή χωρίς τον χειρισμό κάποιου. Αυτό το λήμμα σχετικό με την Πληροφορική χρειάζεται επέκταση. Βοηθήστε τη Βικιπαίδεια επεκτείνοντάς το! (el)
  • An abstract machine, also called an abstract computer, is a theoretical computer used for defining a model of computation. Abstraction of computing processes is used in both the computer science and computer engineering disciplines and usually assumes a discrete time paradigm. (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. Der Automatenbegriff spielt eine zentrale Rolle in der theoretischen Informatik. In der Berechenbarkeitstheorie und in der Komplexitätstheorie etwa stellen die Automaten den zugrunde liegenden Berechnungsbegriff. Automaten spielen auch in der praktischen Informatik eine entscheidende Rolle, zum Beispiel im Compilerbau.In der Digitaltechnik werden Automaten zur Steuerung in digitalen und hybriden Systemen eingesetzt. Solche Steuerungsautomaten haben Anwendungen unter anderem in der Rechnerarchitektur, in Rechnernetzen und in Reaktiven Systemen. (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 . En la teoría de la computación, las máquinas abstractas con frecuencia son usadas en experimentos de pensamiento sobre computabilidad o para analizar la complejidad de algoritmos (ver la teoría de la complejidad computacional). Una típica máquina abstracta consiste en una definición en términos de entrada, salida y el conjunto de las operaciones permitidas usadas para convertir la primera en la segunda. El ejemplo más conocido es la máquina de Turing. Definiciones más complejas crean máquinas abstractas con completos conjuntos de instrucciones, registros y modelos de memoria. Un modelo popular más similar a las máquinas modernas reales es el , que permite el acceso aleatorio a ubicaciones de memoria indexada. A medida que crece la diferencia de rendimiento entre diferentes niveles de memoria caché, los modelos sensibles al caché como el y el están creciendo en importancia. Una máquina abstracta puede referirse a un diseño de microprocesador que todavía está por ser (o no pretende ser) implementado como hardware. Una máquina abstracta que implementada como una simulación de software, o para la que existe un interpretador, es llamada una máquina virtual. 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. La notion d'automate ou de machine abstraite, aussi appelé « modèle de machine » joue un rôle central en informatique théorique. Ainsi, en théorie de la calculabilité et en théorie de la complexité les automates modélisent la notion centrale de calcul. Les automates jouent aussi un rôle déterminant en informatique pratique, par exemple dans la définition du langage intermédiaire durant la construction des compilateurs et plus généralement comme modèle pour la description du fonctionnement de programmes informatiques. En électronique numérique les automates servent dans les circuits de commande ou dans les systèmes hybrides. De tels automates de commande ont des applications en architecture matérielle, en réseau informatique et dans les systèmes réactifs. (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. In genere gli automi sono deterministici, ovvero dato uno stato ed un simbolo in ingresso è possibile una sola transizione. Esistono comunque anche automi non deterministici, o stocastici. (it)
  • 抽象機械(ちゅうしょうきかい)とは、計算モデルのうち、チューリングマシンなどのような「機械っぽい」ものを指す語である。 (ja)
  • Абстра́ктный автома́т (в теории алгоритмов) — математическая абстракция, модель дискретного устройства, имеющего один вход, два выхода и в каждый момент времени находящегося в одном состоянии из множества возможных. На вход этому устройству поступают символы одного алфавита, на выходе оно выдаёт символы (в общем случае) другого алфавита. Формально абстрактный автомат определяется как шестёрка Где S — конечное множество состояний автомата, X, Y — конечные входной и выходной алфавиты соответственно, из которых формируются строки, считываемые и выдаваемые автоматом, — функция переходов, — функция выходов. Абстрактный автомат с выделенным начальным состоянием называется инициальным автоматом. Таким образом, абстрактный автомат определяет семейство инициальных автоматов Если функции переходов и выходов однозначно определены для каждой пары , то автомат называют детерминированным. В противном случае автомат называют недетерминированным или частично определённым. Если функция переходов и/или функция выходов являются случайными, то автомат называют вероятностным. Ограничение числа состояний абстрактного автомата определило такое понятие как конечный автомат. Функционирование автомата состоит в порождении двух последовательностей: последовательности очередных состояний автомата и последовательности выходных символов , которые для последовательности символов разворачиваются в моменты дискретного времени t = 1, 2, 3, … Моменты дискретного времени получили название тактов. Функционирование автомата в дискретные моменты времени t может быть описано системой рекуррентных соотношений: Для уточнения свойств абстрактных автоматов введена классификация. Абстрактные автоматы образуют фундаментальный класс дискретных моделей как самостоятельная модель, и как основная компонента машин Тьюринга, автоматов с магазинной памятью, конечных автоматов и других преобразователей информации. Модель абстрактного автомата широко используется, как базовая, для построения дискретных моделей автоматов, распознающих, порождающих и преобразующих последовательности символов. (ru)
  • 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. Na teoria da computação, as máquinas abstratas são geralmente usadas em experimentos mentais relacionados à computabilidade ou para analisar a complexidade de algoritmos. Uma máquina abstrata típica consiste em uma entrada, uma saída, e um conjunto de operações que transformar uma em outra. Um exemplo clássico é a máquina de Turing, mas também podem ser citados as gramáticas livres de contexto e os autômatos finitos. Definições mais complexas criam máquinas abstratas com um conjunto completo de instruções, registradores e modelos de memória. Também podem se referir a um microprocessador que ainda não foi implementado em hardware. Uma máquina abstrata implementada como uma simulação de software, ou interpretada de alguma forma, é chamada de máquina virtual. 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)
  • 抽象機器(英語:Abstract machine),又稱抽象電腦(abstract computer),利用自動機理論,建立出電腦硬體或軟體的理論模型。把運算過程抽象化,一般來說是採用離散時間模型,可應用於電腦科學或電腦工程。在計算理論中,抽象機器經常被當成是一種思想實驗,用來推論可計算性(computability),或是分析演算法的複雜度。 (zh)
  • Абстрактний автомат (також абстрактна машина, абстрактний комп'ютер; англ. abstract machine) — теоретична модель апаратної або програмної обчислювальної системи, побудована на основі теорії автоматів. Використовується як у інформатиці, так і у комп'ютерній інженерії і, зазвичай, неявно базується на парадигмі дискретного часу. Процес, у якому переходи виконуються під впливом зовнішніх дій, моделюється за допомогою автомата. Використовуючи автомати, можна моделювати багато машин, включаючи компоненти комп'ютера, також можна дослідити питання розв'язності і складності різних задач. (uk)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 60492 (xsd:integer)
dbo:wikiPageLength
  • 4750 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1072198543 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdf:type
rdfs:comment
  • An abstract machine, also called an abstract computer, is a theoretical computer used for defining a model of computation. Abstraction of computing processes is used in both the computer science and computer engineering disciplines and usually assumes a discrete time paradigm. (en)
  • 抽象機械(ちゅうしょうきかい)とは、計算モデルのうち、チューリングマシンなどのような「機械っぽい」ものを指す語である。 (ja)
  • 抽象機器(英語:Abstract machine),又稱抽象電腦(abstract computer),利用自動機理論,建立出電腦硬體或軟體的理論模型。把運算過程抽象化,一般來說是採用離散時間模型,可應用於電腦科學或電腦工程。在計算理論中,抽象機器經常被當成是一種思想實驗,用來推論可計算性(computability),或是分析演算法的複雜度。 (zh)
  • Абстрактний автомат (також абстрактна машина, абстрактний комп'ютер; англ. abstract machine) — теоретична модель апаратної або програмної обчислювальної системи, побудована на основі теорії автоматів. Використовується як у інформатиці, так і у комп'ютерній інженерії і, зазвичай, неявно базується на парадигмі дискретного часу. Процес, у якому переходи виконуються під впливом зовнішніх дій, моделюється за допомогою автомата. Використовуючи автомати, можна моделювати багато машин, включаючи компоненти комп'ютера, також можна дослідити питання розв'язності і складності різних задач. (uk)
  • 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)
  • 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)
  • Αυτόματο ονομάζεται μια μηχανή με βάση την οποία ελέγχεται αν μια ανήκει σε μια τυπική γλώσσα. Λειτουργεί σαν μία μηχανή Τούρινγκ χωρίς έξοδο (εναλλακτικά ως έξοδος μπορεί να θεωρηθεί ένα δυαδικό ψηφίο). Εισέρχεται ως είσοδος η λέξη γράμμα-γράμμα, το αυτόματο μεταβαίνει ανάλογα με την είσοδο σε διάφορες καταστάσεις, με μία μετάβαση ανά γράμμα και μόλις ολοκληρωθεί η είσοδος αν η τελική κατάσταση είναι κατάσταση "αποδοχής" η λέξη εγκρίνεται αλλιώς η λέξη απορρίπτεται. Ο αριθμός των καταστάσεων είναι πεπερασμένος για κάθε αυτόματο. Τα αυτόματα απεικονίζονται γραφικά με . Αυτόματη είναι μια συσκευή η οποία μπορεί να εκτελέσει εργασίες αυτόματα , δηλαδή χωρίς τον χειρισμό κάποιου. (el)
  • 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)
  • 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)
rdfs:label
  • آلة مجردة (ar)
  • Màquina abstracta (ca)
  • Αυτόματο (el)
  • Automat (Informatik) (de)
  • Abstract machine (en)
  • Máquina abstracta (es)
  • Machine abstraite (fr)
  • 抽象機械 (ja)
  • Automa (informatica) (it)
  • 추상 기계 (ko)
  • Máquina abstrata (pt)
  • Automat (datavetenskap) (sv)
  • Абстрактний автомат (uk)
  • Абстрактный автомат (ru)
  • 抽象機器 (zh)
owl:differentFrom
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License