1 4. Formalny opis j zyków naturalnych. Typy konstrukcji

1 4. Formalny opis j zyków naturalnych. Typy konstrukcji

!
"
"
"
#
$% "
$%
$%
"
&
'( ! )
/
*
+
*
+
+
"
)
"
((
)
"
,
(
"
$
*
) "
!
& -
.
&
+
!
(
)
&
&
*
"
, 2
,
,
) "
"
,
&
"
)
"
"
0
1
,
!"
3
(
"
#
9
)
*
4
) "
&
"
*
"
*
,5
,5
,5
5
5
5
"
"
)
) "
)
*
"
:
"
&
6 7
"
6 ( 87
,
) (
"
)
4
#
$ %
!"
) "
& '(
3
"
*
)
)
"
)
'
"
) ;
< $% /+
/+$%
"
) "
,?
,
*
+(
#
:*
()
&
,>
,
)
)
(
"
"
=+$% =+$% ?
%
"
&
&
&
&
(
&
&
&
"
+
)
&
)
)
*
< $% /+ =+
&
&
)
)
=+
&
<
&
"
"
/+
*
$% /+
"
=+
"
,
< $% /+
/+
)
'
++(
@
(
= "
= " /+
$ %
)
*
( &
&
*
*
< $% <)<
< $% + <
<)< $% <)/+ <)=+
<)/+$% <) <)/
?
=+
/
>
*
)
&
"
"
)
)
& '(
& '
$
)
"
%
"
$% /
!
=+ )
)
"
"
-
"
+
) ;
"
*
=+$% =
=+$% = /+
>
,A
,A
,<
:*
(*
&
&
,>
&
&
& '
%
! "
!
#
B
!
"
-!+
$!
& '
!
"
)
)
&
"
)
"
C
-!++
/
%
)4
%
)
"
) 4 D$E
)
D
&
!"
#
$$
$$
$$
$$
$$
$$
-++!
@"
(
"
-++!
)
&$
''
( ) "
'
) "
*
' $
(* ) (
"
' ) '" )
)(
,
%%%
,
(+
,
,
$$
$$
$$
'
$$
,
,
$$
.
$
& '/
)
$ "
"
)
!
%
*
&
"
39I
*
F
(*
)
5
+
3
+
)
(
$
)
3
G
)
)(
)
(
H*
(
"
&
)
(
)
9<@
*
)
(
*
"
>)
*
*
&
)
"
>
)
D
$
& '!
0
-
.
/
&
$
(
0
-
.
.
.
/
%
(
.
.
&
.
.
.
.
&
&
.
.
&
& '!
&
(
. .
.
.
. .
!
/
/
1
!
% 1
%
(
%
(
!
%
.
"
)
)
)
6
"
6
)
)
"
)
$ %
)
"
(
)
(
$
0
(
-
& '!
(
.
/
.
&
/+$% /+ ++
)
7
)
)
"
:
7 )
#
%
(
#
.
.
+
.
&
=+$% =+ ++
.
/
.
.= "
/
!
.
/
!
< $% < 3
<
/+$% /+3
+
J
/+ @
@
+
/
)
(
"
)
(
)
<
/+
/
=+
$ %
3
2
04
0 (
/
& '
%
L
LL
L
"
F
F
M
6<
M
M
L+
+
M
F
F
M
& '!
)
+
"
&
) (*
'
<
)
? ( )
"L
"
"
:
"
8
M
)
L
/
= "
*
/
M
7M
@ K= "
?
&
'
J
J
/
/
$ %
(*
) "
L
+
+
/+$% /+++
"
+ "
"
)
)
$
$ )
*
6
7
$
'
!
#
5'
"
)
(
N?
/I $% +
0
/I
)
&
$/+
$/+N
#
1
$ )
0
/I $%
$
1
5?+ @
(
A /
O
N 5?+= )A /
N 5?+$3+
A /
)
)
P
&
4
Q
)
*<
R
"
$S
"
@ -
@
I
&&&
"
1
0
)
#
!
*
!
)
)
*
4
"
& '
4
39I
" )
$
&
"
"
&
"
&
"
(
F
$
)
39I
"
)
(
&
#
)
1
)
*
(
39I
&
%
%
$
167
<
"
"
@
$
"
"
(
$O
@=!
*
"
)
"
"
"
"
"
&
&
"
"
&
"
&
'
"
"
"
(
"
&
)
D
&
'
)
"
)
D
)
D
8
%
#
9
!
*
)
"
)
D
T LM
3@?
B
T
/+
/R! S5P
(
*
<I
T
)T
D
@IP55! 5/?
B
) B
+5P<>/
:
!
2
" #$% %& ' ' ( ()'(" *+,
#
3 #$0
1#+&+ 4
3@?
)
B
"
L )
-./0
;
2
)
B
"
"
L )
N
N)
"
1#
@U
"
)
D
B M
(
<
@IP55! 5/?
/R! S5P
<I
*
N)
N "
$
N
)
D
B M
V
"
)
N)
N
" %
8
(*
A5@
<RS'53?
+5P<>/
O @
O @
D
@IP55! 5/?
167 (
<
"
4
)
@ "
)
"
F
(
"
"
<
"
"
"
4
<
"
)
"
(
)
$
)
$
)
4
) "
&
"
)
&
(
04 167
"
!
(
&
T
) L
T
$
B L
) B "
$
T LA M
) T LA "M
(
#"
$
"
U )
(&
&
"
U
N"
)
M
M
B
) L
B
M
:
0
%
0 2
:
0
@B U
O @ 9 $$
(
"
9
@UL
TM SU L
WM
O @
UO S
3U
@
O
U
W
) T
2
M
M
@B B U O
@CU
@B C U O
#
ULM
T
) T
%
B L)
C L)
B B L)
C B
@C B U O
@=! "
( "*
@B1U B
)
(
U
O
O
$
%
"
/
)
"
S @
S
@ @
S
9
"
S 9
O S 9
@
9
"
)
(
S
S S
*
&
@ 9
(9
@
@
+
LM
9
(9
LM
TM
L
!
(
/
L
L
M
M
$% "
R
(
@B1 C
)
T
TLM
D
B
C
0
P
O
"
F
(
$
@C1 C
&
"
@
B& ' ( @
C&
)
(
S O @9
D& '
(
S&
@C1 B U O
&
@ S"
&!
)
@B1 B U O
$
"
(
"
@B @C
C B
!
& P
B
"
C )
ULM
@C C U L)
@C1U B B )
"
O 3
M
B B
C B
$
!
0 !
&
*
(
)M
L
)
L
)
"
M
5
*
#
+
"
L
"
)M
L
M
@ LM
(*
@ @
(*
*
@
@
@
S
S
3
@
3&
M
<
167
3
"
"
:
5 #
"
(
!
R
;
"
&
F
S 3
"
"
S 3
@US 3
& ) @
"
S @ 3 @&
'
" :)
&
(
)
)
&
)
'
)
F
)
)
)
5 #
!
"
)
&
5 #
!
<
"
"
*
)M U L
"
*
L ) L
L
"
)M L
L
L
"
"
)M L
)M L
L
"
)M L
"
"
)MU
" LM M U L
" *
" D M U
5 #
R
6
8
"
)M
L
7
)M
!
)M
M
#
)
5 #
)
B
B
U
B
)MM
"
)
U
)
*
!
(
)
L
) L
(
TM
L
)
M U L
T
TM
M
M
L)TM U L
T
M
L
L
MM U
L) TM U
T
)T
)
) L
)M
B
)
(
B L
) B
4*
L
)M
)M
*
&&&
) "
L
UL ) L
" )
" D
) B
&&&
LM
*
L
)L
L
)MM
)M
)M
L
L
MM U
) B
:
0
*
#
'
I
@ @U@
(*
@ SUS @
(*
@
"
S
-@
S
3
O
3 @ 3
S
3
'
!
0
I
L
M
ULM
*
)M
L ) L
L
) L
L
)MM
)M
)M
M
ULM
LMULM
BL
) B
)M U
)
!
)
S 3
"
L
) L
)M
)M
&X
)
7&
&
"
)
)
)
L
"
"
F
S
)M
(
@ SUS
@ 3
L
)
)
"
)
(*
-@
$
F
3 U @ S
!