| http://dbpedia.org/ontology/abstract
|
Тео́рія автома́тів — логіко-математична теорія, об'єктом дослідження якої є абстрактні автомати — покрокові перетворювачі інформації; розділ кібернетики.[джерело?]
, 오토마타 이론(영어: Automata Theory)은 계산 능력이 있는 추상 … 오토마타 이론(영어: Automata Theory)은 계산 능력이 있는 추상 기계와 그 기계를 이용해서 풀 수 있는 문제들을 연구하는 컴퓨터 과학의 분야이다. 여기서 추상 기계를 오토마타(automata, 복수형) 또는 오토마톤(automaton, 단수형), 즉 자동 기계라고 부른다. 이 이름은 '자동'을 의미하는 그리스어 'αὐτόματα'에서 유래하였다. 일반적으로 오토마타는 적어도 유한한 상태를 갖고, 입력을 받아 입력에 따라 일정하게 상태를 전이하며, 출력을 내놓는다. 이는 알고리즘이 요구하는 것, 즉 계산 문제를 해결할 능력과 같다. 는 일반적으로 오토마타의 능력에 맞게 결정 문제로 환산되며, 이 때 추상 기계와 형식 언어, 형식 문법은 불가분의 관계가 된다. 따라서 오토마타는 언어와 문법과 같은 계층 분류를 갖는다. 오토마톤 이론이란 오토마톤을 연구하는 학문이지만, 다른 표현 방식을 빌린다면 ‘대상의 어떤 기능에 주목하여, 입력과 내부 출력 각 신호의 상호관계를 수학모델로 옮기고, 이 모델을 수학적으로 고찰 ·결론을 유도한다. 그리고 이 유도된 결론을 다시 원래의 대상에 꼭 들어맞춰서 해석한다고 하는 일련의 과정의 일부 또는 전부’에 관계되는 것이다. 그리고 대상의 구성요소의 성질 등에는 그리 관여하지 않는다. 오토마타는 컴퓨터 구조 설계와 컴파일러 설계, 파싱, 의 등의 중요한 요소다.토마타는 컴퓨터 구조 설계와 컴파일러 설계, 파싱, 의 등의 중요한 요소다.
, La teoría de autómatas es una rama de la t … La teoría de autómatas es una rama de la teoría de la computación que estudia las máquinas abstractas y los problemas que éstas son capaces de resolver. La teoría de autómatas está estrechamente relacionada con la teoría del lenguaje formal ya que los autómatas son clasificados a menudo por la clase de lenguajes formales que son capaces de reconocer. También son de gran utilidad en la teoría de la complejidad computacional. Un autómata es un modelo matemático para una máquina de estado finito (FSM sus siglas en inglés). Una FSM es una máquina que, dada una entrada de símbolos, "salta" a través de una serie de estados de acuerdo a una función de transición (que puede ser expresada como una tabla). En la variedad común "Mealy" de FSMs, esta función de transición dice al autómata a qué estado cambiar dados unos determinados estado y símbolo. La entrada es leída símbolo por símbolo, hasta que es "consumida" completamente (piense en ésta como una cinta con una palabra escrita en ella, que es leída por una cabeza lectora del autómata; la cabeza se mueve a lo largo de la cinta, leyendo un símbolo a la vez) una vez la entrada se ha agotado, el autómata se detiene. Dependiendo del estado en el que el autómata finaliza se dice que este ha aceptado o rechazado la entrada. Si este termina en el estado "acepta", el autómata acepta la palabra. Si lo hace en el estado "rechaza", el autómata rechazó la palabra, el conjunto de todas las palabras aceptadas por el autómata constituyen el lenguaje aceptado por el mismo.tituyen el lenguaje aceptado por el mismo.
, Теория автоматов — раздел дискретной матем … Теория автоматов — раздел дискретной математики, изучающий абстрактные автоматы — вычислительные машины, представленные в виде математических моделей — и задачи, которые они могут решать. Теория автоматов наиболее тесно связана с теорией алгоритмов: автомат преобразует дискретную информацию по шагам в дискретные моменты времени и формирует результат по шагам заданного алгоритма. Существует алгебраическая трактовка теории автоматов, использующая полукольца, формальные степенные ряды, формальные ряды над деревьями, теорию неподвижных точек и теорию матриц. теорию неподвижных точек и теорию матриц.
, Teorie automatů (anglicky automata theory) … Teorie automatů (anglicky automata theory) je studium a automatů, včetně výpočetních problémů, které mohou být pomocí nich řešené. Jedná se o obor teoretické informatiky, která patří do diskrétní matematiky (předmět studia matematiky i matematické informatiky). Slovo automaty pochází z řeckého slova αὐτόματα, které znamená „samočinný“. Obrázek vpravo znázorňuje konečný automat, který patří k dobře známému typu automatů. Tento automat sestává ze (reprezentovaných na obrázku kružnicemi) a přechodů (reprezentovaných šipkami). Když automat načte symbol ze vstupu, provede přechod (nebo skok) do jiného stavu, podle své přechodové funkce, která má jako parametry aktuální stav a načtený symbol. Teorie automatů má těsnou souvislost s teorií formálních jazyků. Automat je konečnou reprezentací formálního jazyka, který může obsahovat nekonečný počet slov. Automaty jsou často klasifikovány třídou formálních jazyků, kterou mohou rozpoznat. Automaty hrají hlavní roli v , při , v umělé inteligenci, syntaktické analýze a formální verifikaci.syntaktické analýze a formální verifikaci.
, Inom automatteori studerar man matematiska … Inom automatteori studerar man matematiska modeller för utförande av beräkningar, allmänt kallade . Gemensamt för modellerna är att alla accepterar en mängd indata, genomför beräkningen och redovisar resultatet genom att leverera en mängd utdata. Automaten startar i ett väldefinierat starttillstånd och genomgår en serie av tillståndsförändringar, kallade exekvering, enligt ett förutbestämt program. Om automaten under exekveringen når ett bestämt stopptillstånd så stannar automaten och utdata blir tillgänglig för en utomstående observatör. Inom automatteorin studeras flera olika modeller för automater med olika egenskaper och olika beräkningsförmåga, de vanligaste modellerna är dock finita automater, eller , samt Turingmaskiner. Beräkningsmodellerna inom automatteori ligger som grund för imperativa programspråk.ger som grund för imperativa programspråk.
, Teoria dos autômatos é o estudo das máquin … Teoria dos autômatos é o estudo das máquinas abstratas ou autômatos, bem como problemas computacionais que podem ser resolvidos usando esses objetos. É objeto de estudo tanto da Ciência da Computação Teórica como da Matemática Discreta. A palavra autômato vem da palavra grega αὐτόματα que significa “autuação” (em tradução livre), isto é, sem influência externa. A figura ao lado ilustra uma máquina de estados finito, que pertence a uma variedade bem conhecida de autômato. Este autômato consiste em estados (representados na figura por círculos), e transições (representadas por setas). Quando o autômato recebe um símbolo de entrada, ele faz uma transição (ou salto) para outro estado, de acordo com sua função de transição (que tem como entradas o estado atual e o símbolo recente).Teoria dos autômatos também está profundamente relacionada à teoria das linguagens formais. Um autômato é uma representação finita de uma linguagem formal que pode ser um conjunto infinito. Autômatos são frequentemente classificados pela classe das linguagens formais que são capazes de reconhecer, tipicamente ilustrado pela hierarquia de Chomsky, que descreve as relações entre várias línguas e tipos de lógica formalizada. Autômatos desempenham um papel importante em teoria da computação, elaboração de compiladores, inteligência artificial, análise sintática e verificação formal.l, análise sintática e verificação formal.
, Automata theory is the study of abstract m … Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science. The word automata comes from the Greek word αὐτόματος, which means "self-acting, self-willed, self-moving". An automaton (automata in plural) is an abstract self-propelled computing device which follows a predetermined sequence of operations automatically. An automaton with a finite number of states is called a Finite Automaton (FA) or Finite-State Machine (FSM). The figure on the right illustrates a finite-state machine, which is a well-known type of automaton. This automaton consists of states (represented in the figure by circles) and transitions (represented by arrows). As the automaton sees a symbol of input, it makes a transition (or jump) to another state, according to its transition function, which takes the previous state and current input symbol as its arguments. Automata theory is closely related to formal language theory. In this context, automata are used as finite representations of formal languages that may be infinite. Automata are often classified by the class of formal languages they can recognize, as in the Chomsky hierarchy, which describes a nesting relationship between major classes of automata. Automata play a major role in the theory of computation, compiler construction, artificial intelligence, parsing and formal verification.lligence, parsing and formal verification.
, Teori Otomata adalah teori mengenai mesin- … Teori Otomata adalah teori mengenai mesin-mesin abstrak, dan berkaitan erat dengan teori bahasa formal.ada beberapa hal yang berkaitan dengan Otomata, yaitu Grammar.Grammar adalah bentuk abstrak yang dapat diterima (accept) untuk membangkitkan suatu kalimat otomata berdasarkan suatu aturan tertentu.otomata berdasarkan suatu aturan tertentu.
, オートマトン (単数形: 英: automaton [ɔːˈtɑməˌtɑn], 複数形: オートマタ（automata [ɔːˈtɑmətə]）) とは、自動人形などとも呼ばれる「オートマタ」と同じ語であるが、計算理論において、計算モデルに関して有限オートマトンなどの総称として使われる。また特に「オートマトン理論」と呼ばれる分野では、計算機械のうち計算可能性の点でチューリングマシンよりも制限されているものを特に指して言うこともある。
, Στη Θεωρητική πληροφορική, θεωρία αυτομάτω … Στη Θεωρητική πληροφορική, θεωρία αυτομάτων είναι η μελέτη των που ονομάζονται ή αυτόματα και των υπολογιστικών προβλημάτων που μπορούν να λυθούν με αυτά. Το σχήμα δεξιά παρουσιάζει μια , η οποία ανήκει σε μια γνωστή κατηγορία αυτομάτων. Το αυτόματο αυτό αποτελείται από (που απεικονίζονται με κύκλους), και μεταβάσεις (που απεικονίζονται με βέλη). Καθώς το αυτόματο βλέπει ένα σύμβολο εισόδου, εκτελεί μια μετάβαση (ή πήδημα) σε άλλη κατάσταση, ανάλογα με τη συνάρτηση μετάβασης (η οποία δέχεται την τρέχουσα κατάσταση και το τελευταίο σύμβολο ως εισόδους). Η θεωρία αυτομάτων είναι πολύ σχετική με τη θεωρία τυπικών γλωσσών.Ένα αυτόματο είναι η πεπερασμένη περιγραφή μιας τυπικής γλώσσας, η οποία μπορεί να είναι άπειρο σύνολο.Τα αυτόματα συνήθως κατηγοριοποιούνται ανάλογα με το είδος της τυπικής γλώσσας που αναγνωρίζουν. Τα αυτόματα παίζουν σημαντικό ρόλο στη θεωρία υπολογισμού, τη σχεδίαση μεταγλωττιστών, και την τυπική επαλήθευση.μεταγλωττιστών, και την τυπική επαλήθευση.
, La teoria d'autòmats és una branca de les … La teoria d'autòmats és una branca de les ciències de la computació que estudia les màquines abstractes i els problemes que aquestes són capaços de resoldre. Alguns d'aquests models tenen un paper central en diverses aplicacions de les ciències de la computació, incloent processament de text, compilador és, disseny de maquinari i intel·ligència artificial. La teoria d'autòmats està estretament relacionada amb la teoria del llenguatge formal, ja que els autòmats són classificats sovint per la classe de llenguatges formals que són capaços de reconèixer. Un autòmat és un model matemàtic per a una màquina d'estat finita (FSM les seves sigles en anglès). Una FSM és una màquina que, donada una entrada de símbols, "salta" a través d'una sèrie d'estats d'acord amb una funció de transició (que pot ser expressada com una taula). En la varietat comuna "Mealy" de FSMs, aquesta funció de transició diu a l'autòmat a quin estat canviar donats uns determinats estat i símbol. L'entrada és llegida símbol per símbol, fins que és "consumida" completament (pensi en aquesta com una cinta amb una paraula escrita en ella, que és llegida per un cap lectora de l'autòmat; el cap es mou al llarg de la cinta, llegint un símbol alhora) una vegada l'entrada s'ha esgotat, l'autòmat s'atura. Depenent de l'estat en què l'autòmat finalitza es diu que aquest ha acceptat o rebutjat l'entrada. Si aquest acaba en l'estat "accepta", l'autòmat accepta la paraula. Si ho fa en l'estat "rebutja", l'autòmat va rebutjar la paraula, el conjunt de totes les paraules acceptades per l'autòmat constitueixen el llenguatge acceptat pel mateix.tueixen el llenguatge acceptat pel mateix.
, نظرية التشغيل الذاتي أو نظرية الآلات ذاتية … نظرية التشغيل الذاتي أو نظرية الآلات ذاتية التشغيل أو نظرية الآلات المجرّدة (بالإنجليزية: Automata Theory) هي نظرية تهتم بتعريف ودراسة خواص الآلات الحاسوبية المجرّدة. تاريخيّا دُرست قضايا هذه النظرية كتصوّر للحساب الإلكتروني قبل ظهور الحواسيب الحديثة لكنّها أثبتت قدرتها على تمثيل العديد من العمليات الحاسوبيّة في وقتنا الحالي، وتستخدم بكثرة كأداة للبرهان الرياضي الحاسوبي، لذلك فهي تعتبر من أهمّ ركائز علوم الحاسوب النظرية .تعتبر من أهمّ ركائز علوم الحاسوب النظرية .
, 在理论计算机科学中，自动机理论是对抽象机和它们能解决的问题的研究。自动机理论密切关联于形式语言理论，因为自动机经常按它们所能识别的形式语言类来分类。
, En informatique théorique, l'objectif de l … En informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul. Cette théorie est le fondement de plusieurs branches importantes de l'informatique théorique, comme :
* La calculabilité, par le modèle des machines de Turing ;
* Les automates finis, et leurs variantes, qui sont utilisés dans l'analyse des langues naturelles, la traduction des programmes par les compilateurs, divers algorithmes de manipulation de textes comme les algorithmes de recherche de sous-chaîne, ou la vérification automatique du fonctionnement de circuits logiques;
* La théorie de la complexité des algorithmes, visant à classifier les algorithmes en fonction des ressources temporelles et en mémoire nécessaires à leur exécution ;
* La vérification de modèle qui sert à établir la conformité de programmes à leurs spécifications. Voir par exemple Coq. Les automates n'ont pas d'existence physique, mais sont un modèle abstrait.ce physique, mais sont un modèle abstrait.
, La teoria d'autòmats és una branca de les … La teoria d'autòmats és una branca de les ciències de la computació que estudia les màquines abstractes i els problemes que aquestes són capaces de resoldre. La teoria d'autòmats està íntimament relacionada amb la teoria del llenguatge formal, ja que els autòmats es classifiquen sovint per les classes de llenguatges formals que són capaces de reconèixer. Un autòmat és un model matemàtic per una màquina d'estats finits (FSM en les seves sigles en anglès). Una FSM és una màquina que, donada una entrada de símbols, "salta" a través d'una sèrie d'estats d'acord amb una funció de transició (que pot ser expressada com una taula). Si la màquina d'estats és del tipus anomenat "Mealy", aquesta funció de transició depèn de l'estat en què es troba la màquina i dels símbols d'entrada. L'entrada és llegida símbol a símbol, fins que és "consumida" completament (es pot pensar com una cinta amb una sèrie de símbols escrits, que es va llegint per un capçal lector; el capçal es mou al llarg de la cita, llegint un símbol a cada pas) un cop la cinta s'esgota, l'autòmat es deté. Depenent de l'estat en el que l'autòmat finalitza es diu que aquest ha acceptat o rebutjat l'entrada. Si la FSM acaba en un estat "acceptar", l'autòmat ha acceptat la paraula; i ho fa en un estat "rebutjar", l'autòmat ha rebutjat l'entrada. El conjunt de totes les paraules acceptades per l'autòmat formen el llenguatge acceptat per l'autòmat.rmen el llenguatge acceptat per l'autòmat.
, Die Automatentheorie ist ein Teilgebiet de … Die Automatentheorie ist ein Teilgebiet der theoretischen Informatik, das sich mit dem Studium von Automaten (Modellrechnern) und mit den von diesen Automaten lösbaren Problemen beschäftigt. Sie ist ein wichtiges Werkzeug der Berechenbarkeitstheorie und Komplexitätstheorie. Praktische Anwendung findet sie beim Entwurf von lexikalischen Scannern und Parsern im Compilerbau sowie für den Entwurf von Programmiersprachen. Die Automatentheorie befasst sich mit formalen Sprachen und formalen Grammatiken, die u. a. durch die Chomsky-Hierarchie typisiert werden, und mit Modellen für Automaten, die solche Sprachen verarbeiten können, insbesondere endliche Automaten, Kellerautomaten, Zellularautomaten und Turingmaschinen.en, Zellularautomaten und Turingmaschinen.
, Teoria automatów – dziedzina informatyki z … Teoria automatów – dziedzina informatyki zajmująca się badaniem automatów, czyli modeli maszyn liczących. Podstawowym modelem rozważanym w teorii automatów jest automat skończony (automat Moore’a) w różnych wersjach oraz jego rozszerzenia: maszyna RAM, maszyna Turinga, i inne. Istnieje związek teorii automatów z teorią języków formalnych i gramatyk formalnych. języków formalnych i gramatyk formalnych.
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/DFAexample.svg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.brics.dk/automaton +
, https://archive.org/details/computationautom0000salo +
, https://archive.org/details/computationfinit0000mins +
, http://www.augeas.net/libfa/index.html +
|
| http://dbpedia.org/ontology/wikiPageID
|
103356
|
| http://dbpedia.org/ontology/wikiPageLength
|
32442
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1102545499
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Deterministic_Finite_Automaton +
, http://dbpedia.org/resource/Theoretical_computer_science +
, http://dbpedia.org/resource/The_Human_Use_of_Human_Beings +
, http://dbpedia.org/resource/Recursively_enumerable_language +
, http://dbpedia.org/resource/Omega-regular_language +
, http://dbpedia.org/resource/Abstract_algebra +
, http://dbpedia.org/resource/Boolean_differential_calculus +
, http://dbpedia.org/resource/Formal_languages +
, http://dbpedia.org/resource/Finite_field +
, http://dbpedia.org/resource/John_von_Neumann +
, http://dbpedia.org/resource/Multitape_Turing_machine +
, http://dbpedia.org/resource/John_E._Hopcroft +
, http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/Combinational_logic +
, http://dbpedia.org/resource/Elaine_Rich +
, http://dbpedia.org/resource/Dana_Scott +
, http://dbpedia.org/resource/Konrad_Zuse +
, http://dbpedia.org/resource/Irreducible_polynomial +
, http://dbpedia.org/resource/Countable +
, http://dbpedia.org/resource/Effective_method +
, http://dbpedia.org/resource/Probabilistic_Turing_machine +
, http://dbpedia.org/resource/Symbol_%28formal%29 +
, http://dbpedia.org/resource/Induction_of_regular_languages +
, http://dbpedia.org/resource/Category:Automata_%28computation%29 +
, http://dbpedia.org/resource/Alphabet_%28computer_science%29 +
, http://dbpedia.org/resource/Word_%28mathematics%29 +
, http://dbpedia.org/resource/Queue_%28abstract_data_type%29 +
, http://dbpedia.org/resource/Formal_language +
, http://dbpedia.org/resource/Electronic_lock +
, http://dbpedia.org/resource/Monoid +
, http://dbpedia.org/resource/Turing_machine_equivalents +
, http://dbpedia.org/resource/Marvin_Minsky +
, http://dbpedia.org/resource/Recognizable_language +
, http://dbpedia.org/resource/Theory_of_computation +
, http://dbpedia.org/resource/DFA_minimization +
, http://dbpedia.org/resource/File:DFAexample.svg +
, http://dbpedia.org/resource/Claude_Shannon +
, http://dbpedia.org/resource/Regular_language +
, http://dbpedia.org/resource/Computational_complexity +
, http://dbpedia.org/resource/Finite_automaton +
, http://dbpedia.org/resource/Tree_automaton +
, http://dbpedia.org/resource/Formal_grammars +
, http://dbpedia.org/resource/Groupoid +
, http://dbpedia.org/resource/Pushdown_automaton +
, http://dbpedia.org/resource/B%C3%BCchi_automaton +
, http://dbpedia.org/resource/Formal_verification +
, http://dbpedia.org/resource/Clarendon_Press +
, http://dbpedia.org/resource/Pumping_lemma_for_regular_languages +
, http://dbpedia.org/resource/Chapman_&_Hall +
, http://dbpedia.org/resource/Myhill%E2%80%93Nerode_theorem +
, http://dbpedia.org/resource/Turing_machine +
, http://dbpedia.org/resource/Semigroup +
, http://dbpedia.org/resource/Stephen_Cole_Kleene +
, http://dbpedia.org/resource/Edward_Fredkin +
, http://dbpedia.org/resource/Monoidal_category +
, http://dbpedia.org/resource/Edward_F._Moore +
, http://dbpedia.org/resource/Chomsky_hierarchy +
, http://dbpedia.org/resource/Nondeterministic_Turing_machine +
, http://dbpedia.org/resource/Differential_calculus +
, http://dbpedia.org/resource/An_Introduction_to_Cybernetics +
, http://dbpedia.org/resource/Michael_Sipser +
, http://dbpedia.org/resource/Limit_%28category_theory%29 +
, http://dbpedia.org/resource/Artificial_life +
, http://dbpedia.org/resource/N-tuple +
, http://dbpedia.org/resource/Information_system +
, http://dbpedia.org/resource/2-category +
, http://dbpedia.org/resource/Context-free_language +
, http://dbpedia.org/resource/Abstract_machine +
, http://dbpedia.org/resource/Stack_%28abstract_data_type%29 +
, http://dbpedia.org/resource/Regular_languages +
, http://dbpedia.org/resource/Automaton +
, http://dbpedia.org/resource/Deterministic_Turing_machine +
, http://dbpedia.org/resource/Pushdown_automata +
, http://dbpedia.org/resource/Deterministic_context-free_language +
, http://dbpedia.org/resource/Log-space_transducer +
, http://dbpedia.org/resource/Cartesian_closed_category +
, http://dbpedia.org/resource/Weighted_automaton +
, http://dbpedia.org/resource/Finite_automata +
, http://dbpedia.org/resource/Jeffrey_D._Ullman +
, http://dbpedia.org/resource/Hardware_design +
, http://dbpedia.org/resource/Queue_machine +
, http://dbpedia.org/resource/Tree_%28automata_theory%29 +
, http://dbpedia.org/resource/Symbolic_language_%28programming%29 +
, http://dbpedia.org/resource/Parsing +
, http://dbpedia.org/resource/Infinite_tree_automaton +
, http://dbpedia.org/resource/Linear_bounded_automaton +
, http://dbpedia.org/resource/Systems_theory +
, http://dbpedia.org/resource/Igor_Aleksander +
, http://dbpedia.org/resource/Conway%27s_Game_of_Life +
, http://dbpedia.org/resource/Programming_language_specification +
, http://dbpedia.org/resource/Linear_bounded_automata +
, http://dbpedia.org/resource/Deterministic_automaton +
, http://dbpedia.org/resource/Cellular_automata +
, http://dbpedia.org/resource/Artificial_intelligence +
, http://dbpedia.org/resource/Cambridge_University_Press +
, http://dbpedia.org/resource/Text_processing +
, http://dbpedia.org/resource/System +
, http://dbpedia.org/resource/Rajeev_Motwani +
, http://dbpedia.org/resource/Metric_automata +
, http://dbpedia.org/resource/James_P._Schmeiser +
, http://dbpedia.org/resource/Muller_automaton +
, http://dbpedia.org/resource/Transition_table +
, http://dbpedia.org/resource/David_T._Barnard +
, http://dbpedia.org/resource/Colimit +
, http://dbpedia.org/resource/Analog_automata +
, http://dbpedia.org/resource/Alternating_automaton +
, http://dbpedia.org/resource/Omega_automaton +
, http://dbpedia.org/resource/Context-free_grammar +
, http://dbpedia.org/resource/Continuous_automata +
, http://dbpedia.org/resource/Categories_of_groupoids +
, http://dbpedia.org/resource/Natural_language +
, http://dbpedia.org/resource/Finite-state_transducer +
, http://dbpedia.org/resource/State_%28computer_science%29 +
, http://dbpedia.org/resource/Michael_O._Rabin +
, http://dbpedia.org/resource/Computational_problem +
, http://dbpedia.org/resource/Finite-state_machine +
, http://dbpedia.org/resource/Norbert_Wiener +
, http://dbpedia.org/resource/W._Ross_Ashby +
, http://dbpedia.org/resource/John_M._Howie +
, http://dbpedia.org/resource/Streett_automaton +
, http://dbpedia.org/resource/Compiler_construction +
, http://dbpedia.org/resource/Rabin_automaton +
, http://dbpedia.org/resource/Parity_automaton +
, http://dbpedia.org/resource/Nondeterministic_Push_Down_Automaton +
, http://dbpedia.org/resource/Groupoid_category +
, http://dbpedia.org/resource/Hybrid_automaton +
, http://dbpedia.org/resource/Geometric_automata +
, http://dbpedia.org/resource/Context-sensitive_language +
, http://dbpedia.org/resource/Nondeterministic_Finite_Automaton +
, http://dbpedia.org/resource/Sequential_machine +
, http://dbpedia.org/resource/Category_%28mathematics%29 +
, http://dbpedia.org/resource/Deterministic_pushdown_automaton +
, http://dbpedia.org/resource/Probability +
, http://dbpedia.org/resource/Noam_Chomsky +
, http://dbpedia.org/resource/Omega_language +
, http://dbpedia.org/resource/Functional_completeness +
, http://dbpedia.org/resource/John_Horton_Conway +
|
| http://dbpedia.org/property/cs1Dates
|
y
|
| http://dbpedia.org/property/date
|
May 2019
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Computer_science +
, http://dbpedia.org/resource/Template:Industrial_and_applied_mathematics +
, http://dbpedia.org/resource/Template:Automata_theory +
, http://dbpedia.org/resource/Template:ISBN +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Formal_languages_and_grammars +
, http://dbpedia.org/resource/Template:Mr +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Cite_book +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Automata_%28computation%29 +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Study +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Automata_theory?oldid=1102545499&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/DFAexample.svg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Automata_theory +
|
| owl:sameAs |
http://ca.dbpedia.org/resource/Teoria_d%27Aut%C3%B2mats +
, http://ca.dbpedia.org/resource/Teoria_d%27aut%C3%B2mats +
, http://fi.dbpedia.org/resource/Automaattiteoria +
, https://global.dbpedia.org/id/FErh +
, http://cs.dbpedia.org/resource/Teorie_automat%C5%AF +
, http://www.wikidata.org/entity/Q214526 +
, http://no.dbpedia.org/resource/Automatteori +
, http://kk.dbpedia.org/resource/%D0%90%D0%B2%D1%82%D0%BE%D0%BC%D0%B0%D1%82%D1%82%D0%B0%D1%80_%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D1%8F%D1%81%D1%8B +
, http://yago-knowledge.org/resource/Automata_theory +
, http://fa.dbpedia.org/resource/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D9%85%D8%A7%D8%B4%DB%8C%D9%86%E2%80%8C%D9%87%D8%A7 +
, http://ko.dbpedia.org/resource/%EC%98%A4%ED%86%A0%EB%A7%88%ED%83%80_%EC%9D%B4%EB%A1%A0 +
, http://tg.dbpedia.org/resource/%D0%9D%D0%B0%D0%B7%D0%B0%D1%80%D0%B8%D1%8F%D0%B8_%D0%B0%D0%B2%D1%82%D0%BE%D0%BC%D0%B0%D1%82%D2%B3%D0%BE +
, http://ja.dbpedia.org/resource/%E3%82%AA%E3%83%BC%E3%83%88%E3%83%9E%E3%83%88%E3%83%B3 +
, http://pt.dbpedia.org/resource/Teoria_dos_aut%C3%B4matos +
, http://d-nb.info/gnd/4003953-5 +
, http://vi.dbpedia.org/resource/L%C3%BD_thuy%E1%BA%BFt_Automat +
, http://ru.dbpedia.org/resource/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%B0%D0%B2%D1%82%D0%BE%D0%BC%D0%B0%D1%82%D0%BE%D0%B2 +
, http://ar.dbpedia.org/resource/%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D8%AA%D8%B4%D8%BA%D9%8A%D9%84_%D8%A7%D9%84%D8%B0%D8%A7%D8%AA%D9%8A +
, http://bs.dbpedia.org/resource/Teorija_automata +
, http://hr.dbpedia.org/resource/Teorija_automata +
, http://id.dbpedia.org/resource/Teori_otomata +
, http://sh.dbpedia.org/resource/Teorija_automata +
, http://dbpedia.org/resource/Automata_theory +
, http://www.wikidata.org/entity/Q11951552 +
, http://th.dbpedia.org/resource/%E0%B8%97%E0%B8%A4%E0%B8%A9%E0%B8%8E%E0%B8%B5%E0%B8%AD%E0%B8%AD%E0%B9%82%E0%B8%95%E0%B8%A1%E0%B8%B2%E0%B8%95%E0%B8%B2 +
, http://pl.dbpedia.org/resource/Teoria_automat%C3%B3w +
, http://rdf.freebase.com/ns/m.0q28q +
, http://es.dbpedia.org/resource/Teor%C3%ADa_de_aut%C3%B3matas +
, http://hi.dbpedia.org/resource/%E0%A4%91%E0%A4%9F%E0%A5%8B%E0%A4%AE%E0%A5%87%E0%A4%9F%E0%A4%BE_%E0%A4%B8%E0%A4%BF%E0%A4%A6%E0%A5%8D%E0%A4%A7%E0%A4%BE%E0%A4%82%E0%A4%A4 +
, http://simple.dbpedia.org/resource/Automata_theory +
, http://ro.dbpedia.org/resource/Teoria_automatelor +
, http://de.dbpedia.org/resource/Automatentheorie +
, http://sv.dbpedia.org/resource/Automatteori +
, http://nn.dbpedia.org/resource/Automatteori +
, http://sk.dbpedia.org/resource/Te%C3%B3ria_automatov +
, http://he.dbpedia.org/resource/%D7%AA%D7%95%D7%A8%D7%AA_%D7%94%D7%90%D7%95%D7%98%D7%95%D7%9E%D7%98%D7%99%D7%9D +
, http://mk.dbpedia.org/resource/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%98%D0%B0_%D0%BD%D0%B0_%D0%B0%D0%B2%D1%82%D0%BE%D0%BC%D0%B0%D1%82%D0%B8%D1%82%D0%B5 +
, http://uk.dbpedia.org/resource/%D0%A2%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D0%B0%D0%B2%D1%82%D0%BE%D0%BC%D0%B0%D1%82%D1%96%D0%B2 +
, http://fr.dbpedia.org/resource/Th%C3%A9orie_des_automates +
, http://zh.dbpedia.org/resource/%E8%87%AA%E5%8B%95%E6%A9%9F%E7%90%86%E8%AB%96 +
, http://tr.dbpedia.org/resource/Otomat_teorisi +
, http://el.dbpedia.org/resource/%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CE%B1%CF%85%CF%84%CE%BF%CE%BC%CE%AC%CF%84%CF%89%CE%BD +
, http://sr.dbpedia.org/resource/Teorija_automata +
, http://tl.dbpedia.org/resource/Teorya_ng_automata +
|
| rdf:type |
http://dbpedia.org/ontology/Book +
, http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Language106282651 +
, http://dbpedia.org/class/yago/WikicatFormalLanguages +
|
| rdfs:comment |
Teoria automatów – dziedzina informatyki z … Teoria automatów – dziedzina informatyki zajmująca się badaniem automatów, czyli modeli maszyn liczących. Podstawowym modelem rozważanym w teorii automatów jest automat skończony (automat Moore’a) w różnych wersjach oraz jego rozszerzenia: maszyna RAM, maszyna Turinga, i inne. Istnieje związek teorii automatów z teorią języków formalnych i gramatyk formalnych. języków formalnych i gramatyk formalnych.
, 在理论计算机科学中，自动机理论是对抽象机和它们能解决的问题的研究。自动机理论密切关联于形式语言理论，因为自动机经常按它们所能识别的形式语言类来分类。
, En informatique théorique, l'objectif de l … En informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul. Cette théorie est le fondement de plusieurs branches importantes de l'informatique théorique, comme : Les automates n'ont pas d'existence physique, mais sont un modèle abstrait.ce physique, mais sont un modèle abstrait.
, Inom automatteori studerar man matematiska … Inom automatteori studerar man matematiska modeller för utförande av beräkningar, allmänt kallade . Gemensamt för modellerna är att alla accepterar en mängd indata, genomför beräkningen och redovisar resultatet genom att leverera en mängd utdata. Automaten startar i ett väldefinierat starttillstånd och genomgår en serie av tillståndsförändringar, kallade exekvering, enligt ett förutbestämt program. Om automaten under exekveringen når ett bestämt stopptillstånd så stannar automaten och utdata blir tillgänglig för en utomstående observatör.tillgänglig för en utomstående observatör.
, Στη Θεωρητική πληροφορική, θεωρία αυτομάτω … Στη Θεωρητική πληροφορική, θεωρία αυτομάτων είναι η μελέτη των που ονομάζονται ή αυτόματα και των υπολογιστικών προβλημάτων που μπορούν να λυθούν με αυτά. Το σχήμα δεξιά παρουσιάζει μια , η οποία ανήκει σε μια γνωστή κατηγορία αυτομάτων. Το αυτόματο αυτό αποτελείται από (που απεικονίζονται με κύκλους), και μεταβάσεις (που απεικονίζονται με βέλη). Καθώς το αυτόματο βλέπει ένα σύμβολο εισόδου, εκτελεί μια μετάβαση (ή πήδημα) σε άλλη κατάσταση, ανάλογα με τη συνάρτηση μετάβασης (η οποία δέχεται την τρέχουσα κατάσταση και το τελευταίο σύμβολο ως εισόδους).αση και το τελευταίο σύμβολο ως εισόδους).
, Теория автоматов — раздел дискретной матем … Теория автоматов — раздел дискретной математики, изучающий абстрактные автоматы — вычислительные машины, представленные в виде математических моделей — и задачи, которые они могут решать. Теория автоматов наиболее тесно связана с теорией алгоритмов: автомат преобразует дискретную информацию по шагам в дискретные моменты времени и формирует результат по шагам заданного алгоритма. Существует алгебраическая трактовка теории автоматов, использующая полукольца, формальные степенные ряды, формальные ряды над деревьями, теорию неподвижных точек и теорию матриц. теорию неподвижных точек и теорию матриц.
, オートマトン (単数形: 英: automaton [ɔːˈtɑməˌtɑn], 複数形: オートマタ（automata [ɔːˈtɑmətə]）) とは、自動人形などとも呼ばれる「オートマタ」と同じ語であるが、計算理論において、計算モデルに関して有限オートマトンなどの総称として使われる。また特に「オートマトン理論」と呼ばれる分野では、計算機械のうち計算可能性の点でチューリングマシンよりも制限されているものを特に指して言うこともある。
, La teoría de autómatas es una rama de la t … La teoría de autómatas es una rama de la teoría de la computación que estudia las máquinas abstractas y los problemas que éstas son capaces de resolver. La teoría de autómatas está estrechamente relacionada con la teoría del lenguaje formal ya que los autómatas son clasificados a menudo por la clase de lenguajes formales que son capaces de reconocer. También son de gran utilidad en la teoría de la complejidad computacional.la teoría de la complejidad computacional.
, Тео́рія автома́тів — логіко-математична теорія, об'єктом дослідження якої є абстрактні автомати — покрокові перетворювачі інформації; розділ кібернетики.[джерело?]
, Teoria dos autômatos é o estudo das máquin … Teoria dos autômatos é o estudo das máquinas abstratas ou autômatos, bem como problemas computacionais que podem ser resolvidos usando esses objetos. É objeto de estudo tanto da Ciência da Computação Teórica como da Matemática Discreta. A palavra autômato vem da palavra grega αὐτόματα que significa “autuação” (em tradução livre), isto é, sem influência externa. Autômatos desempenham um papel importante em teoria da computação, elaboração de compiladores, inteligência artificial, análise sintática e verificação formal.l, análise sintática e verificação formal.
, Die Automatentheorie ist ein Teilgebiet de … Die Automatentheorie ist ein Teilgebiet der theoretischen Informatik, das sich mit dem Studium von Automaten (Modellrechnern) und mit den von diesen Automaten lösbaren Problemen beschäftigt. Sie ist ein wichtiges Werkzeug der Berechenbarkeitstheorie und Komplexitätstheorie. Praktische Anwendung findet sie beim Entwurf von lexikalischen Scannern und Parsern im Compilerbau sowie für den Entwurf von Programmiersprachen.e für den Entwurf von Programmiersprachen.
, نظرية التشغيل الذاتي أو نظرية الآلات ذاتية … نظرية التشغيل الذاتي أو نظرية الآلات ذاتية التشغيل أو نظرية الآلات المجرّدة (بالإنجليزية: Automata Theory) هي نظرية تهتم بتعريف ودراسة خواص الآلات الحاسوبية المجرّدة. تاريخيّا دُرست قضايا هذه النظرية كتصوّر للحساب الإلكتروني قبل ظهور الحواسيب الحديثة لكنّها أثبتت قدرتها على تمثيل العديد من العمليات الحاسوبيّة في وقتنا الحالي، وتستخدم بكثرة كأداة للبرهان الرياضي الحاسوبي، لذلك فهي تعتبر من أهمّ ركائز علوم الحاسوب النظرية .تعتبر من أهمّ ركائز علوم الحاسوب النظرية .
, La teoria d'autòmats és una branca de les … La teoria d'autòmats és una branca de les ciències de la computació que estudia les màquines abstractes i els problemes que aquestes són capaços de resoldre. Alguns d'aquests models tenen un paper central en diverses aplicacions de les ciències de la computació, incloent processament de text, compilador és, disseny de maquinari i intel·ligència artificial. La teoria d'autòmats està estretament relacionada amb la teoria del llenguatge formal, ja que els autòmats són classificats sovint per la classe de llenguatges formals que són capaços de reconèixer.ges formals que són capaços de reconèixer.
, Teorie automatů (anglicky automata theory) … Teorie automatů (anglicky automata theory) je studium a automatů, včetně výpočetních problémů, které mohou být pomocí nich řešené. Jedná se o obor teoretické informatiky, která patří do diskrétní matematiky (předmět studia matematiky i matematické informatiky). Slovo automaty pochází z řeckého slova αὐτόματα, které znamená „samočinný“. Teorie automatů má těsnou souvislost s teorií formálních jazyků. Automat je konečnou reprezentací formálního jazyka, který může obsahovat nekonečný počet slov. Automaty jsou často klasifikovány třídou formálních jazyků, kterou mohou rozpoznat.formálních jazyků, kterou mohou rozpoznat.
, La teoria d'autòmats és una branca de les … La teoria d'autòmats és una branca de les ciències de la computació que estudia les màquines abstractes i els problemes que aquestes són capaces de resoldre. La teoria d'autòmats està íntimament relacionada amb la teoria del llenguatge formal, ja que els autòmats es classifiquen sovint per les classes de llenguatges formals que són capaces de reconèixer.ges formals que són capaces de reconèixer.
, Automata theory is the study of abstract m … Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science. The word automata comes from the Greek word αὐτόματος, which means "self-acting, self-willed, self-moving". An automaton (automata in plural) is an abstract self-propelled computing device which follows a predetermined sequence of operations automatically. An automaton with a finite number of states is called a Finite Automaton (FA) or Finite-State Machine (FSM). The figure on the right illustrates a finite-state machine, which is a well-known type of automaton. This automaton consists of states (represented in the figure by circles) and transitions (represented by arrows). As the automaton sees a symbol of inpus). As the automaton sees a symbol of inpu
, 오토마타 이론(영어: Automata Theory)은 계산 능력이 있는 추상 … 오토마타 이론(영어: Automata Theory)은 계산 능력이 있는 추상 기계와 그 기계를 이용해서 풀 수 있는 문제들을 연구하는 컴퓨터 과학의 분야이다. 여기서 추상 기계를 오토마타(automata, 복수형) 또는 오토마톤(automaton, 단수형), 즉 자동 기계라고 부른다. 이 이름은 '자동'을 의미하는 그리스어 'αὐτόματα'에서 유래하였다. 일반적으로 오토마타는 적어도 유한한 상태를 갖고, 입력을 받아 입력에 따라 일정하게 상태를 전이하며, 출력을 내놓는다. 이는 알고리즘이 요구하는 것, 즉 계산 문제를 해결할 능력과 같다. 는 일반적으로 오토마타의 능력에 맞게 결정 문제로 환산되며, 이 때 추상 기계와 형식 언어, 형식 문법은 불가분의 관계가 된다. 따라서 오토마타는 언어와 문법과 같은 계층 분류를 갖는다.의 관계가 된다. 따라서 오토마타는 언어와 문법과 같은 계층 분류를 갖는다.
, Teori Otomata adalah teori mengenai mesin- … Teori Otomata adalah teori mengenai mesin-mesin abstrak, dan berkaitan erat dengan teori bahasa formal.ada beberapa hal yang berkaitan dengan Otomata, yaitu Grammar.Grammar adalah bentuk abstrak yang dapat diterima (accept) untuk membangkitkan suatu kalimat otomata berdasarkan suatu aturan tertentu.otomata berdasarkan suatu aturan tertentu.
|
| rdfs:label |
Teoria automatów
, Teoria d'autòmats
, Automatentheorie
, Teorie automatů
, Teori otomata
, Teoria d'Autòmats
, نظرية التشغيل الذاتي
, Automatteori
, Teoría de autómatas
, Théorie des automates
, 오토마타 이론
, Teoria dos autômatos
, オートマトン
, Теория автоматов
, Automata theory
, 自動機理論
, Теорія автоматів
, Θεωρία αυτομάτων
|
