Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword or section
Like this
1Activity

Table Of Contents

0 of .
Results for:
No results containing your search query
P. 1
Logica_Computationala_CursI

Logica_Computationala_CursI

Ratings: (0)|Views: 36 |Likes:
Published by alexutzu84_22

More info:

Published by: alexutzu84_22 on Nov 14, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

11/14/2011

pdf

text

original

 
1 Sintaxa limbajului
Vocabularul limbajului este
L
S,
unde
2 Sintaxa limbajului
Vocabularul limbajului este
L
S,
unde
este mult¸imea propozit¸iilor elementare;
=
. Convenim s˘a not˘amsimbolurile din mult¸imea
prin literele alfabetului latin;
L
=
{∧
,
,
,
,
}
este mult¸imea conectivelor logice: conjunct¸ie,disjunct¸ie,implicat¸ie, echivalent¸˘a ¸si negat¸ie;
=
{
(
,
)
}
este mult¸imea simbolurilor de punctuat¸ie.Presupunem ˆındeplinite condit¸iile
L
=
,
=
.
Convenim s˘a numim asamblaje elementele mult¸imii
A
= (
L
)
.Pentru
α
A
¸si
x
L
indic˘am prin
α
x
faptul c˘a simbolul
x
apare cel put¸in o dat˘a printre simbolurile asamblajului
α
respectiv prin
α
x
situat¸ia contrar˘a.Structurile simbolice de interes ˆın calculul cu propozit¸ii sunt formulelelogice; mult¸imea formulelor notat˘a
FORM 
;
FORM 
A
este definit˘a degramatica independena de context
G
= (
N,T,
), unde:
=
{
formula
,
 propozitie
,
conectiva
}
este mult¸imea neterminalelor,
=
L
este mult¸imea terminalelor ¸si
este mult¸imea regulilor derescriere:
=
formula
 propozitie
|
(
formula
)
|
(
formula
conectiva
formula
)
,
 propozitie
a
|
b
|
...,
conectiva
 → ∧ | ∨ |→|↔
Mult¸imea formulelor este limbajul generat de gramatica
G
pentru simbolulde start
formula
;
FORM 
=
L
(
formula
)
.
Convenim s˘a reprezent˘amformulele prin litere din alfabetul grec.
Exemplul
1
.
1
.
1
.
Fie asamblajul
α
= ((
((
a
)
b
))
(
a
(
b
))). Con-sider˘am urm˘atoarea schem˘a de derivare ; simbolul neterminal aruia este 1
 
aplicat˘a regula de rescriere este subliniat:
formula
formula
conectiva
formula
formula
formula
(
formula
)
formula
(
formula
)
formula
conectiva
formula

(
formula
)
a
conectiva
formula

(
formula
)
a
formula

(
formula
)
a
formula


formula
(
a
(
b
))

formula
conectiva
formula

(
a
(
b
))

formula
formula

(
a
(
b
))

formula
b

(
a
(
b
))


formula
b

(
a
(
b
))
((
((
a
)
b
))
(
a
(
b
))) =
α
deci
α
FORM.
O modalitate similar˘a pentru descrierea regulilor de bun˘a formare pentrustructurile simbolice din sortul
FORM 
este bazat˘a pe not¸iunea de
SGF 
(
ecvent¸˘a
G
enerativ˘a
ormule).
Definit ¸ia 
1
.
1
.
1
.
Secvent¸a de asamblaje
α
1
,α
2
,...,α
n
este
SGF 
, dac˘a pen-tru orice
i
, 1
i
n
, este ˆındeplinit˘a una dintre condit¸iile:
ι
)
α
i
V,ιι
) exisa
j,
1
j < i,
astfel ˆınat,
α
i
= (
α
 j
)
,ιιι
) exisa
j,k,
1
j,k < i
¸si exisa
ρ
L
\{
}
,
astfel ˆınat
α
i
= (
α
 j
ρα
k
)
.
Observat ¸ie
Fie
α
asamblaj. Atunci, exist˘a
n
1 ¸si
α
1
,α
2
,...,α
n
-
SGF,
astfelˆıncˆat,
α
n
=
α
dac˘a ¸si numai dac˘a
α
FORM.Exemplul
1
.
1
.
2
.
Pentru formula
α
= ((
((
a
)
b
))
(
a
(
b
))), putemconstrui urm˘atorul
SGF 
:
a,b,
(
a
)
,
(
b
)
,
(
a
(
b
))
,
((
a
)
b
)
,
(
((
a
)
b
))
,
((
((
a
)
b
))
(
a
(
b
))) =
α.
Observat ¸ii 
2
 
1. Dac˘a
α
V,
atunci secvent¸a
α
este
SGF 
, deci
FORM.
2. Dac˘a
α
1
,α
2
,...,α
n
este
SGF 
, atunci pentru orice
i
, 1
i
n
,
α
1
,α
2
,...,α
i
este
SGF 
. Cu alte cuvinte, toate componentele unui
SGF 
sunt for-mule.3. Dac˘a
α
1
,...,α
n
¸si
β 
1
,....,β 
m
sunt
SGF,
atunci
α
1
,...,α
n
,β 
1
,....,β 
m
estede asemenea
SGF 
4. Parantezarea rezultat˘a pentru structurile simbolice din
FORM 
\
permite identificarea conectivei principale corespunz˘atoarefiec˘arei formule care nu este propozit¸ie elementar˘a.ˆIntr-adev˘ar, orice
α
FORM 
\
este de unul ¸si numai de unul din tipurile:
α
= (
β 
)sau
α
= (
βργ 
) cu
ρ
L
\{
}
.
Dac˘a
α
= (
β 
)
,
atunci conectiva prin-cipal˘a a formulei
α
este “
” ¸si respectiv dac˘a
α
= (
βργ 
)
,
atunci
α
areconectiva principal˘a
ρ
.
Reprezentarea neparantezaa a structurilor simbolice din sortul
FORM 
poate fi obt¸inut˘a pe baza arborilor de structur˘a.
Definit ¸ia 
1
.
1
.
2
.
Arborele
, binar, direct¸ionat, cu r˘ad˘acin˘a avˆand vˆarfurile etichetate cu simboluri din mult¸imea
L
este arbore de structur˘a dac˘aetichetele arfurilor sunt astfel ˆıncˆat pentru orice vˆarf 
n
(
)
,ι
) dac˘a
od
(
n
) = 0
,
atunci
ϕ
(
n
)
ιι
) dac˘a
od
(
n
) = 1
,
atunci
ϕ
(
n
) =
ιιι
) dac˘a
od
(
n
) = 2
,
atunci
ϕ
(
n
)
L
\{
}
unde
ϕ
(
n
) este eticheta arfului
n
.Spunem c˘a
este arbore de structur˘a pentru
ϕ
(
r
) unde
r
este arfulad˘acin˘a. Fiecare formua
α
poate fi reprezentat˘a printr-un arbore de structur˘a
(
α
). Construct¸ia arborelui
(
α
) poate fi realizaa recursiv utilizˆand observat¸ia 4 astfel:
ι
) dac˘a
α
V,
atunci
(
α
) :
r
si
ϕ
(
r
) =
α
;
ιι
) dac˘a
α
= (
β 
)
,
atunci
(
α
) :
r
(
β 
)unde
ϕ
(
r
) =
¸si
(
β 
) este arborele de structur˘a al formulei
β 
;3

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->