It can be proven, constructively, t

It can be proven, constructively, that regular expressions and finite automata are equivalent: one can construct a finite automaton that accepts the language defined by a given regular expression, and vice versa. Similarly, it is possible to construct a push-down automaton that accepts the language defined by a given context free grammar, and vice versa. The grammar-to-automaton constructions are in fact performed by scanner and parser generators such as lex and yacc.Of course, a real scanner does not accept just one token; it is called in a loop so that it keeps accepting tokens repeatedly. This detail is accommodated by having the scanner accept the alternation of all the tokens in the language, and by having it continue to consume characters until no longer token can be constructed

Kết quả (Việt) 1:

Nó có thể được chứng minh, xây dựng, biểu thức thông thường và automata hữu hạn là tương đương: một trong những có thể xây dựng một automaton hữu hạn chấp nhận ngôn ngữ định nghĩa một cụm từ thông dụng nhất định, và ngược lại. Tương tự, ta có thể xây dựng một automaton đẩy xuống chấp nhận ngôn ngữ định nghĩa một ngữ pháp miễn phí nhất định bối cảnh, và ngược lại. Công trình xây dựng ngữ pháp automaton trong thực tế được thực hiện bởi máy quét và máy phát điện phân tích cú pháp như lex và yacc.Tất nhiên, một máy quét thực không chấp nhận chỉ là một mã thông báo nhất; nó được gọi là trong một vòng lặp để nó giữ chấp nhận thẻ nhiều lần. Chi tiết này cung cấp chỗ ở có máy quét chấp nhận Luân phiên của tất cả các thẻ trong ngôn ngữ, và có nó tiếp tục tiêu thụ nhân vật cho đến khi không còn mã thông báo có thể được xây dựng

Kết quả (Việt) 2:

Nó có thể được chứng minh, mang tính xây dựng, mà biểu thức thông thường và automata hữu hạn là tương đương: người ta có thể xây dựng một máy tự động hữu hạn mà chấp nhận ngôn ngữ được xác định bởi một biểu hiện thường xuyên đưa ra, và ngược lại. Tương tự như vậy, nó có thể để xây dựng một máy tự động đẩy xuống mà chấp nhận ngôn ngữ được định nghĩa bởi một bối cảnh cụ miễn phí ngữ pháp, và ngược lại. Các công trình xây dựng văn phạm-to-máy tự động trong thực tế được thực hiện bởi máy phát điện máy quét và phân tích cú pháp như lex và yacc.Of nhiên, một máy quét thực sự không chấp nhận chỉ một chiếc thẻ; nó được gọi là trong một vòng lặp để nó tiếp tục chấp nhận thẻ nhiều lần. Chi tiết này được cung cấp bằng cách có các máy quét chấp nhận những thay đổi luân phiên của tất cả các thẻ trong ngôn ngữ, và bằng cách để nó tiếp tục tiêu thụ nhân vật cho đến khi không còn dấu hiệu có thể được xây dựng