In automata theory, a branch of the

In automata theory, a branch of theoretical computer science, a deterministic finite automaton (DFA)—also known as deterministic finite state machine—is a finite state machine that accepts/rejects finite strings of symbols and only produces a unique computation (or run) of the automaton for each input string.[1] 'Deterministic' refers to the uniqueness of the computation. In search of simplest models to capture the finite state machines, McCulloch and Pitts were among the first researchers to introduce a concept similar to finite automaton in 1943.[2][3]

The figure on the right illustrates a deterministic finite automaton using a state diagram. In the automaton, there are three states: S0, S1, and S2 (denoted graphically by circles). The automaton takes a finite sequence of 0s and 1s as input. For each state, there is a transition arrow leading out to a next state for both 0 and 1. Upon reading a symbol, a DFA jumps deterministically from a state to another by following the transition arrow. For example, if the automaton is currently in state S0 and current input symbol is 1 then it deterministically jumps to state S1. A DFA has a start state (denoted graphically by an arrow coming in from nowhere) where computations begin, and a set of accept states (denoted graphically by a double circle) which help define when a computation is successful.

A DFA is defined as an abstract mathematical concept, but due to the deterministic nature of a DFA, it is implementable in hardware and software for solving various specific problems. For example, a DFA can model software that decides whether or not online user-input such as email addresses are valid.[4] (see: finite state machine for more practical examples).

DFAs recognize exactly the set of regular languages[1] which are, among other things, useful for doing lexical analysis and pattern matching. DFAs can be built from nondeterministic finite automata (NFAs) using the powerset construction method.

Результаты (русский) 1:

В теории автоматов, филиал теоретические компьутерные науки, детерминированный конечный автомат (DFA) — также известен как детерминированный конечный автомат — это конечный автомат, который принимает/отвергает конечных строк символов и только производит уникальный вычисления (или запустить) автомата для каждой входной строки.[1] ' детерминированная' относится к уникальности вычисления. В поисках простейших моделей для захвата конечных автоматов Маккалох и Питтс были среди первых исследователей представить понятие, подобное конечным автоматом в 1943 году.[2][3]На рисунке справа детерминированный конечный автомат, с помощью диаграммы состояния. В автоматом, есть три государства: S0, S1 и S2 (графически обозначается круги). Автомат принимает конечная последовательность нулей и единиц как входные данные. Для каждого государства существует переход стрелки, ведущие к следующего состояния 0 и 1. После прочтения символа, DFA прыжки являются детерминированными от государства в другой, следуя стрелкой перехода. Например если автомат находится в настоящее время в состоянии S0 и текущий входной символ 1 затем его детерминировано переходит в состояние S1. DFA имеет начальное состояние (графически обозначается стрелкой, приходят из ниоткуда) где начать расчеты, и ряда государств принять (графически обозначается двойной круг), которые помогают определить, когда вычисление является успешной.DFA определен как абстрактное математическое понятие, но благодаря детерминированного характера ДИД, осуществимые в аппаратных средств и программного обеспечения для решения различных конкретных проблем. К примеру DFA можно модель программного обеспечения, которое решает ли онлайн пользовательского ввода, такие как адреса электронной почты являются действительными.[4] (см.: конечного автомата для более практических примеров).DFAs признают именно набор регулярных языков [1], которые, среди прочего, полезно делать лексический анализ и сопоставление с шаблоном. DFAs может быть построен из недетерминированных конечных автоматов (NFA) с помощью метода строительства powerset.

Результаты (русский) 2:

В теории автоматов, филиал теоретической информатики, детерминированный конечный автомат (ДКА) -также известный как детерминированный конечный автомат-это конечный автомат, который принимает / отклоняет конечные цепочки символов и только дает уникальный вычисления (или запустить) автомата для каждого входного строки. [1] «Детерминированный» относится к уникальности вычислений. В поисках простых моделей, чтобы захватить конечные автоматы, McCulloch и Питтс были среди первых исследователей, ввести понятие, похожий на конечного автомата в 1943 году [2] [3] рисунок справа иллюстрирует детерминированный конечный автомат, используя состояние схема. В автомате, есть три состояния: S0, S1, S2, и (обозначается графически кругов). Автомат принимает конечную последовательность 0 и 1 в качестве вклада. Для каждого государства, есть переход стрелки как для 0 и 1., ведущие к следующему состоянию При чтении символа, DFA прыжки детерминировано из состояния в другое, следуя перехода стрелку. Например, если автомат находится в настоящее время в состоянии S0 и текущего входного символа равен 1, то это детерминированно переходит к состояние S1. DFA имеет начальное состояние (обозначаемое графически стрелкой, поступающих из ниоткуда), где расчеты начать, и набор принимают состояний (обозначается графически двойным кружком), которые помогают определить, когда вычисление успешно. DFA определяется как абстрактная математическая концепция, но из-за детерминированности ДКА, это реализуемо в области аппаратного и программного обеспечения для решения различных конкретных задач. Например, DFA может моделировать программное обеспечение, которое решает, является ли или не он-лайн пользовательского ввода, такие как адреса электронной почты, действительны [4] (см конечный автомат для более практических примерах).. ДКА признать именно тот набор регулярных языков [1] которые, среди прочего, полезно делать лексический анализ и сопоставление с образцом. ДКА может быть построен из недетерминированных конечных автоматов (NFAS), используя метод Powerset строительства.

Результаты (русский) 3:

в теории теория автоматов, компьютерной науки, неопределенность конечных автоматов (МИД) - также известный как определенности Co., государственная машина представляет собой конечный автомат принять / отказался Co., строки символов производить только один уникальный расчета (или запустить) для каждой строки ввода автоматов [1.] "определенности" означает для расчета уникальность.простой поиск в модели захватили конечный автомат, McCulloch и Pitts является, во - первых, введение концепции 1943 лиц аналогичные конечных автоматов. [2] [3]

правая диаграмма иллюстрирует диаграмма состояния неопределенности конечных автоматов.в автомат, три государства: S0, S1 и S2 (графики, что круг).с конечных автоматов последовательность 0 и 1 в качестве вклада.для каждого государства, существует один переходный стрелка вывели следующий состояние 0 и 1.читаю в один символ, один прыжок из состояния неопределенности Мид после перехода на другой стрелка.например, если робот является в настоящее время государство S0 и нынешний вклад символ - 1 и затем определить перейти в статус S1.МИД (с начала государство говорит графический стрелка из негде) начал в расчет, Группа получила статус (говорит графический двойной круг), помочь определить, когда расчет является успешной.

МИД определения концепции является абстрактной математики, но поскольку один МИД определения характера,это достижение аппаратного и программного обеспечения для решения конкретных проблем.например, Мид, модели программного обеспечения, может определить, является ли онлайн - пользователей, таких, как адрес электронной почты является эффективным. [4] (см., например: более точной идентификации FSM).

МИД очередной язык [1], в другие вещи,для делать лексический анализ и сопоставление.МИД неопределенность конечных автоматов (может быть NFAS) использовать Булеан метод строительства.