| dbo:abstract
|
- آلة مجردة abstract machine أو حاسوب مجرد abstract computer هي نموذج نظري (افتراضي) لنظام حاسوبي عتادي أو برمجي يستخدم في نظرية الأتمتة. تستخدم هذه الآلات النظرية في إجراء عملية تجريد لعملية الحوسبة بكافة إجرائياتها وتستخدم من ثم في فروع علوم الحاسب وهندسة الحاسوب وغالبا ما تفترض باراديغم أو أسلوب عمل في زمن متقطع discrete time. في نظرية التحسيب، تستخدم غالبا الآلات المجردة ضمن التجارب الفكرية المتعلقة بالحسوبية وتحليل تعقيد الخوارزميات (نظرية التعقيد الحسابي). تعتبر الآلة المجردة النموذجية تتألف من دخل وخرج ومجموعة عمليات مصرح بها تستعمل لتحويل الدخل إلى خرج. أفضل الأمثلة وأكثرها شيوعا هو آلة تورنغ. يمكن تعريف آلات مجردة أكثر تعقيدا بمجموعة تعليمات أوسع، المسجلات ونماذج لذواكر الحاسوب. أحد أكثر النماذج شيوعا ومشابهة للحاسوب في وضعه الحالي يدعى نموذج رام، الذي يسمح بوصول عشوائي لمواقع الذاكرة المفهرسة. وعندما تكبر فوارق الأداء بين المستويات المختلفة لذاكرة الكاش cache memory، تزداد أهمية النماذج الحساسة للكاش مثل نموذج الذاكرة الخارجية external-memory model و. (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. 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 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 the field of computational complexity theory, such as finite state machines , Mealy machines, push-down automata, and Turing machines. (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)
- 抽象機械（ちゅうしょうきかい）とは、計算モデルのうち、チューリングマシンなどのような「機械っぽい」ものを指す語である。 (ja)
- 추상기계(抽象機械, abstract machine)는 컴퓨터 하드웨어나 소프트웨어의 이상적인 모형이다. 흔히 추상 컴퓨터(abstract computer)라고도 한다. 컴퓨터의 동작을 추상화하는 것은 컴퓨터 과학 같은 이론적 분야 뿐 아니라 공학에서도 널리 사용한다. 보통 추상기계를 다룰 때는 에서 모형화한다. 계산 이론에서는 추상기계를 사고실험에 사용하여 계산 가능성이나 알고리즘의 복잡도를 추정한다. (계산 복잡도 이론 참고). 일반적인 추상기계는 입력과 출력, 그리고 입력을 출력으로 변환시키는 명령등으로 구성된다. 추상기계의 가장 유명한 예는 튜링 기계이다. 추상기계의 조금 더 복잡한 형태는 완전한 명령어 집합, 프로세서 레지스터 및 메모리 구조까지 모두 갖추고 있다. 추상기계 중에서 실제 컴퓨터의 형태와 매우 유사한 것으로는 원하는 메모리에 랜덤 액세스가 가능한 이 있다. 흔히 하드웨어로 만들어지지 않은 마이크로프로세서의 설계를 추상기계라고 부르는 경우가 있다. 소프트웨어 시뮬레이션 용도로 만든 추상기계, 혹은 인터프리터가 존재하는 추상기계는 가상기계라고 부른다. 추상기계를 이용하면, 필요한 컴퓨터 모형을 실제로 만들지 않더라도, 실행 시간이나 메모리 같은 컴퓨터 자원이 얼마나 필요한지 예측할 수 있다. (ko)
- 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)
- 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)
- Абстра́ктный автома́т (в теории алгоритмов) — математическая абстракция, модель дискретного устройства, имеющего один вход, один выход и в каждый момент времени находящегося в одном состоянии из множества возможных. На вход этому устройству поступают символы одного алфавита, на выходе оно выдаёт символы (в общем случае) другого алфавита. Формально абстрактный автомат определяется как пятёрка Где S — конечное множество состояний автомата, X, Y — конечные входной и выходной алфавиты соответственно, из которых формируются строки, считываемые и выдаваемые автоматом, — функция переходов, — функция выходов. Абстрактный автомат с выделенным начальным состоянием называется инициальным автоматом. Таким образом, абстрактный автомат определяет семейство инициальных автоматов Если функции переходов и выходов однозначно определены для каждой пары , то автомат называют детерминированным. В противном случае автомат называют недетерминированным или частично определённым. Если функция переходов и/или функция выходов являются случайными, то автомат называют вероятностным. Ограничение числа состояний абстрактного автомата определило такое понятие как конечный автомат. Функционирование автомата состоит в порождении двух последовательностей: последовательности очередных состояний автомата и последовательности выходных символов , которые для последовательности символов разворачиваются в моменты дискретного времени t = 1, 2, 3, … Моменты дискретного времени получили название тактов. Функционирование автомата в дискретные моменты времени t может быть описано системой рекуррентных соотношений: Для уточнения свойств абстрактных автоматов введена классификация. Абстрактные автоматы образуют фундаментальный класс дискретных моделей как самостоятельная модель, и как основная компонента машин Тьюринга, автоматов с магазинной памятью, конечных автоматов и других преобразователей информации. Модель абстрактного автомата широко используется как базовая для построения дискретных моделей автоматов, распознающих, порождающих и преобразующих последовательности символов. (ru)
- 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)
|
| 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)
|
