| Arabic |
| has gloss | ara: نظرية التشغيل الذاتي أو نظرية الآلات ذاتية التشغيل أو نظرية الآلات المجرّدة (الإنجليزية: Automata Theory) هي نظرية تهتم بتعريف ودراسة خواص الآلات الحاسوبية المجرّدة. تاريخيّا دُرست قضايا هذه النظرية كتصوّر للحساب الإلكتروني قبل ظهور الحواسيب الحديثة لكنّها أثبتت قدرتها على تمثيل العديد من العمليات الحاسوبيّة في وقتنا الحالي، وتستخدم بكثرة كأداة للبرهان الرياضي الحاسوبي، لذلك فهي تعتبر من أهمّ ركائز علوم الحاسوب النظرية والأنظمة المنهجية. |
| lexicalization | ara: نظرية الآلات المجردة |
| lexicalization | ara: نظرية التشغيل الذاتي |
| Bosnian |
| has gloss | bos: Teorija automata je dio teoretske informatike, čiji je zadatak proučavanje automata i problema, kojim se takvi automati bave. |
| lexicalization | bos: Teorija automata |
| German |
| has gloss | deu: 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. |
| lexicalization | deu: Automatentheorie |
| Esperanto |
| lexicalization | epo: Aŭtomataj teorio |
| Persian |
| has gloss | fas: در علوم نظری كامپیوتر، نظریهٔ اتوماتا یا نظریهٔ ماشین‌ها عبارت است از بررسی ریاضی ماشین‌های محاسبه‌گر مجرد و توانایی‌های آنها برای حل مسایل. این نظریه بسیار نزدیک به نظریه زبان‌های فرمال است. زبان‌هایی که توسط این ماشین‌ها بررسی می‌شوند زبان‌های فرمال هستند. |
| lexicalization | fas: نظریه اتوماتا |
| lexicalization | fas: نظریه ماشین‌ها |
| French |
| has gloss | fra: La théorie des automates, intimement liée à létude des langages formels, est une branche de linformatique théorique qui étudie la puissance de calcul de divers modèles d'automates finis. |
| lexicalization | fra: Theorie des automates |
| lexicalization | fra: théorie des automates |
| Serbo-Croatian |
| has gloss | hbs: U teoretskom računarstvu, teorija automata je disciplina koja se bavi proučavanjem apstraktnih strojeva i problema koje oni mogu riješiti. Teorija automata je usko povezana sa teorijom formalnih jezika, s obzirom da su sami automati često klasificirani klasom formalnih jezika koje mogu prepoznati. |
| lexicalization | hbs: Teorija automata |
| Hebrew |
| lexicalization | heb: אוטומטים |
| lexicalization | heb: תורת האוטומטים |
| Croatian |
| has gloss | hrv: U teoretskom računarstvu, teorija automata je disciplina koja se bavi proučavanjem apstraktnih strojeva i problema koje oni mogu riješiti. Teorija automata je usko povezana sa teorijom formalnih jezika, s obzirom da su sami automati često klasificirani klasom formalnih jezika koje mogu prepoznati. |
| lexicalization | hrv: Teorija automata |
| Hungarian |
| has gloss | hun: Az elméleti számítógép-tudományban, az automata-elmélet az absztrakt számítógépek elméletével és azok problémáival foglalkozik, illetve megoldást keres azokra (azok matematikai reprezentációival, automatákkal, Turing-gépekkel) foglalkozik). Az automata-elmélet közeli kapcsolatban áll a formális nyelvek elméletével, ugyanis a formális nyelvek egyes osztályaihoz különböző, azokat felismerni képes automata osztályok rendelhetők. A formális nyelv a matematika, a logika és a informatika számára egy véges ábécéből generálható, véges hosszúságú szavak (például karakter stringek, jelsorozatok) halmaza, amelyekkel a formális nyelvek elmélete foglalkozik. |
| lexicalization | hun: Absztrakt automata |
| Indonesian |
| has gloss | ind: 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. |
| lexicalization | ind: Teori otomata |
| Italian |
| has gloss | ita: In informatica teorica e in matematica discreta, un automa è un dispositivo, o un suo modello in forma di macchina sequenziale, creato per eseguire un particolare compito, che può trovarsi in diverse configurazioni più o meno complesse caratterizzate primariamente da una variabile che appartiene ad un determinato insieme di stati, e che evolve in base agli stimoli od ordini ricevuti in ingresso schematizzati da simboli appartenenti ad un determinato alfabeto. |
| lexicalization | ita: automa |
| Japanese |
| has gloss | jpn: オートマトン (automaton (pl: automata)) とは「自動人形」を意味している言葉で、情報科学の分野においては、次のような特徴を持ったシステムのことである。 |
| lexicalization | jpn: オートマトン |
| Korean |
| has gloss | kor: 오토마타 이론은 추상 기계와 그 기계가 풀 수 있는 문제들을 연구하는 컴퓨터 과학의 한 분야이다. 오토마타 이론에서 다루는 추상 기계를 흔히 오토마타(, 복수형) 또는 오토마톤(, 단수형)이라 부른다. 형식 언어 이론과 밀접히 연관되어 있으며, 오토마타 이론에서 다루는 오토마타는 보통 오토마타가 인식할 수 있는 형식 언어의 종류에 따라 분류된다. |
| lexicalization | kor: 오토마타 이론 |
| Latvian |
| lexicalization | lav: Automātu teorija |
| Macedonian |
| has gloss | mkd: Во теоријата на информатиката, теоријата на автоматите ги проучува апстрактните машини и проблемите кои тие можат да ги решат. Теоријата на автомати е тесноповрзана со теоријата на формални јазици поради тоа што автоматите често пати се класифицирани според класата на формални јазици кои тие можат да ги препознаат. |
| lexicalization | mkd: Теорија на автоматите |
| Malay (macrolanguage) |
| has gloss | msa: Dalam teori sains komputer, teori automata ialah kajian mengenai mesin-mesin abstrak dan masalah-masalah yang mampu diselesaikannya. Teori automata sangat berkait rapat dengan teori bahasa formal dan teori automata kerap dikelaskan sebagai sebahagian kajian dalam bahasa-bahasa formal. |
| lexicalization | msa: teori automata |
| Norwegian Nynorsk |
| has gloss | nno: I teoretisk datavitskap er automatteori studiet av abstrakte maskinar og dei problema dei er i stand til å løyse. Automatteori er nært knytt til teoriar om formelle språk, og automatar er ofte klassifisert etter klassen av formelle språk dei er i stand til å kjenne att. |
| lexicalization | nno: Automatteori |
| Norwegian |
| has gloss | nor: Automatteori er i teoretisk informatikk studiet av abstrakte maskiner og de problema de er i stand til å løse. Automatteori er nært knytta til teorier om formelle språk, og automater er ofte klassifisert etter klassen av formelle språk de er i stand til å gjenkjenne. |
| lexicalization | nor: Automatteori |
| Polish |
| has gloss | pol: Teoria automatów - to dziedzina informatyki zajmująca się badaniem automatów - modeli maszyn liczących. |
| lexicalization | pol: Teoria automatów |
| Portuguese |
| has gloss | por: A Teoria dos autômatos é um ramo da ciência da computação que estuda as Máquinas de Estados Finitos, através de suas representações matemáticas (autômatos, Máquina de Turing). Abaixo você irá encontrar uma breve referência sobre como autômatos, em geral, são construídos e como trabalham. |
| lexicalization | por: Teoria de autômatos |
| lexicalization | por: Teoria dos autómatos |
| lexicalization | por: Teoria dos autômatos |
| Moldavian |
| has gloss | ron: În informatica teoretică, teoria automatelor este studiul mașinilor abstracte și al problemelor rezolvabile de acestea. Teoria automatelor este în legătură apropiată cu teoria limbajului formal, automatele fiind clasificate după clasa limbajului formal recunoscut de acestea. |
| lexicalization | ron: teoria automatelor |
| Russian |
| has gloss | rus: В дискретной математике, разделе информатики, теория автоматов изучает абстрактные машины в виде математических моделей, и проблемы, которые они могут решать. Теория автоматов наиболее тесно связана с теорией алгоритмов. Это объясняется тем, что автомат преобразует дискретную информацию по шагам в дискретные моменты времени и формирует результирующую информацию по шагам заданного алгоритма. Эти преобразования возможны с помощью технических и/или программных средств. Автомат можно представить как некоторое устройство (чёрный ящик), на которое подаются входные сигналы и снимаются выходные и которое может иметь некоторые внутренние состояния. При анализе автоматов изучают их поведение при различных возмущающих воздействиях и минимизируют число состояний автомата для работы по заданному алгоритму. Такой автомат называют абстрактным. При синтезе автоматов формируют систему из элементарных автоматов, эквивалентную заданному абстрактному автомату. Такой автомат называется структурным. |
| lexicalization | rus: теория автоматов |
| Slovak |
| has gloss | slk: Teória automatov je časť infomatiky zaoberajúca sa strojmi s konečným počtom stavov. Skúma ich matematickou reprezentáciou (automat, Turingov stroj). |
| lexicalization | slk: Teória automatov |
| Castilian |
| has gloss | spa: La teoría de automatas es una rama de las ciencias de la computación que estudia de manera abstracta y con 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. |
| lexicalization | spa: Teoria de automatas |
| lexicalization | spa: teoría de autómatas |
| Serbian |
| has gloss | srp: U teoretskom računarstvu, teorija automata je disciplina koja se bavi proučavanjem apstraktnih mašina i problema koje oni mogu rešiti. Teorija automata je usko povezana sa teorijom formalnih jezika, s obzirom da su sami automati često klasifikovani klasom formalnih jezika koje mogu prepoznati. |
| lexicalization | srp: TEORIJA AUTOMATA |
| lexicalization | srp: Аутомати |
| Swedish |
| has gloss | swe: Inom automatteori studerar man matematiska modeller för utförande av beräkningar, allmänt kallade automater. |
| lexicalization | swe: automatteori |
| Thai |
| has gloss | tha: ทฤษฎีออโตมาตา (Automata theory) เป็นสาขาหนึ่งของวิทยาการคอมพิวเตอร์ที่ศึกษาเครื่องจักรสถานะจำกัด ผ่านทางวัตถุทางคณิตศาสตร์ที่แสดงเครื่องจักรเหล่านั้น |
| lexicalization | tha: ทฤษฎีออโตมาตา |
| Ukrainian |
| has gloss | ukr: Автома́тів тео́рія — логіко-математична теорія, об'єктом дослідження якої є абстрактні дискретні автомати — перервні перетворювачі інформації; розділ теоретичної кібернетики. |
| lexicalization | ukr: Автоматів теорія |
| lexicalization | ukr: Теорія автоматів |
| Chinese |
| has gloss | zho: 在理论计算机科学中，自动机理论是对抽象机和它们能解决的问题的研究。自动机理论密切关联于形式语言理论，因为自动机经常按它们所能识别的形式语言类来分类。 |
| lexicalization | zho: 自动机理论 |
| lexicalization | zho: 自动机 |
