... c
a ngôn ng
a ngôn ng
ch
ch
í
í
nh qui
nh qui
3/
3/
61
61
nh ngh
nh ngh
a m
a m
t ngôn ng
t ngôn ng
l
l
p tr
p tr
ì
ì
nh (NNLT)
nh (NNLT)
\
\
C
C
á
á
c ngôn ng
c ngôn ... v
y L(G) l
y L(G) l
à
à
ngôn ng
ngôn ng
đ
đ
c M th
c M th
a nh
a nh
n v
n v
à
à
l
l
à
à
NNCQ
NNCQ
35 /
35 /
61
61
V
V
í
í
d
d
1
1
\
\
Cho VP
Ch...
... z
n-1
→x
n-1
∈P với x
n-1
v
n-1
=u
n
, ta có:
<q
1
, u
n
, %v
n-1
R
z
n-1
> <q
1
, u
n
, %v
n-1
R
x
n-1
R
> <q
1
, ε, %> <q
2
, ε, %>.
Từ đó ta có dãy suy dẫn các hình ... lớp ôtômat đẩy xuống không đơn định mới có thể đoán
nhận hết lớp ngôn ngữ phi ngữ cảnh. Còn ôtômat đẩy xuống đơn định chỉ có khả
năng đoán nhận được lớp con thực sự của lớp ngôn n...
... của các ngôn ngữ.
Phân loại: 1) Ngôn ngữ máy (machine language),
2) Hợp ngữ (assembly language),
3) Ngôn ngữ cấp cao (higher-level language).
Bởi vì máy tính chỉ có thể hiểu ngôn ngữ máy ... (compiler) và trình
thông dịch (interpreter).
− Trình biên dịch: chuyển một chương trình viết trong ngôn ngữ cấp cao − chương
trình nguồn sang chương trình trong n...
... thuật toán.
4 .3. 10. Định lý: Mọi ngôn ngữ cảm ngữ cảnh đều là ngôn ngữ đệ quy.
4 .3. 11. Định lý: Tồn tại một ngôn ngữ đệ quy mà không là ngôn ngữ cảm ngữ
cảnh.
74
4 .3. VẤN ĐỀ ... Định lý 4 .3. 3, phần bù của T(U) là không đệ quy
đếm được.
4 .3. 6. Định lý: Một ngôn ngữ hình thức là loại 0 khi và chỉ khi nó là đệ quy đếm
được. Điều này...
... (
r+s) là biểu thức chính quy biểu diễn ngôn ngữ R∪S, (rs) là biểu thức chính
quy biểu diễn ngôn ngữ R.S và (
r
*
) là biểu thức chính quy biểu diễn ngôn ngữ R
*
.
Trong biểu thức chính quy, ... biểu thức chính quy, nó biểu diễn ngôn ngữ {ε}.
3) Nếu a
∈Σ thì a là biểu thức chính quy, nó biểu diễn ngôn ngữ {a}.
4) Nếu r, s tương ứng là biểu thức chính qu...
... gọi là một ngôn ngữ hình thức hay
ngắn gọn hơn là một ngôn ngữ trên
Σ. Đặc biệt, tập ∅ là một ngôn ngữ trên Σ, gọi
là ngôn ngữ rỗng; tập {
ε} cũng là một ngôn ngữ trên Σ, đây là ngôn ngữ chỉ ... minh: Ngôn ngữ hữu hạn là hợp hữu hạn của các ngôn ngữ một từ, nên từ
Thí dụ 13 (ngôn ngữ một từ là chính quy) và từ Hệ quả 1 .3. 3 (hợp hữu hạn của
các...
... ngôn ngữ hình thức 4
1.1. Khái niệm ngôn ngữ 4
1.2. Văn phạm và ngôn ngữ sinh bởi văn phạm 8
1 .3. Một số tính chất của ngôn ngữ 15
Bài tập Chương I 19
Chương II: Ôtômat hữu hạn và ngôn ngữ ... phạm hình thức và các ôtômat cũng
như máy Turing, là những công cụ sinh ngôn ngữ, đồng thời đề cập đến các tính
chất của ngôn ngữ chính quy, ngôn...
...
a+a*a
a+a*a
E
E
E
E
E
E
E
E
E
a
a
a
*
*
*
a
a
a
a
a
a
+
+
+
1
1
3
3
2
2
E
E
E
E
E
E
E
E
E
3
3
3
3
E
E
E
E
E
E
E
E
E
a
a
a
+
+
+
a
a
a
a
a
a
*
*
*
1
1
2
2
E
E
E
E
E
E
3
3
3
3
3
3
E
E
E
50/
50/
65
65
M
M
t s
t s
v
v
í
í
d
d
kh
kh
á
á
c ...
2
a+E*E
a+E*E
⇒
⇒
3
3
a+a*E
a+a*E
⇒
⇒
3
3
a+a*a
a+a*a
u
u
E
E
⇒
⇒
2
2
E*E
E*E
⇒
⇒
1
1
E+E*E
E+E*E
⇒
⇒
3...
... tr
tr
ng h
ng h
p 3, ta c
p 3, ta c
ng c
ng c
ó
ó
:
:
w
w
∈
∈
L((a
L((a
*
*
b)
b)
*
*
∪
∪
(b
(b
*
*
a)
a)
*
*
)
)
33 /
33 /
38
38
C
C
á
á
c ngôn ng
c ngôn ng
phi ch
phi ch
í
í
nh ... ra câu cho m
n sinh ra câu cho m
t ngôn ng
t ngôn ng
36 /
36 /
38
38
V
V
í
í
d
d
bi
bi
u di
u di
n ngôn ng
n ngôn ng
Ngôn ng
Ngôn ng
...