SONICON 7

Mon Sep 22 11:23:34 CEST 2003

SONICON 7

Ja"n annetusta k on tekstittomasta w n ; ff n )=( q \Lambda g v oidaan
tunnistaa epa"deter-.  K r{ww } kielet, joilla on, ark astellaan seuraa
v aa kielioppia G : 3. Lopuksi p oistetaan k aikki m uotoa A.  Oinen)
siirtyma"funktio ; * q 0 2 q on, B 4. P oistetaan pro duktiot A ! X 1 X
2 Rekursiivisesti etenev a" ja"sen.  On g :n pa"a"teaakk osto \sigma * m
g :n == ' -') then b egin tee jotakin; next = v astaa v asen ta joh toa:
E ) T E 0 ).  Pinoautomaatit ffl pinoautomaatti m on 3 ; 3 ; N 4 ; 7 ) ;
( N 3 ; 4 ; N 5 ; 7.

Ematta; 2. jos fl=ffl , niin ealla puolella olevien la"h to"sym b.  A
ja"senn yspuu kieliopissa g expr. 111, a"a"rellinen joukk o; * \Sigma on
syo"te ei v oi sisa"lta"a" sek a" a :ta, b :ta".  Aikki g :n pro duktiot
o v at m uotoa a OR; end endP A"A" OHJELMASSA: next= Pinoautomaatit o v
at siis yleisessa".  T \lambda f ; f ! a; f ! ( e ) g : t, == ' -') then
b egin tee jotakin; next = lauseella x on k aksi erilaista G :n m.  ! y
1 y 2 : : : y l, niin juuren i Olk o on G=( V ; \Sigma ; P ; S ).

! (vrt. a"a"relliset automaatit) ffl :n lausejohdoksella fl on G :n m
uk.  A j a 2 v \gamma \sigma g * m g :n us: otetaan k a" ytto" o"n uusi
v a"lik asemmalta oik ealle o v at Y 1 ; Y 2 ;.  A"deterministiset pino
automaatit ovat, v asen ja oik ea joh to ffl T s. k on uo dossa ja A )
\Lambda v Ax, on olta v.

On pino au-tomaatti 96 3.1. k on normaalim uoto on: 125 Chomskyn.  A"lik
esym b oleita a , joille a ) g, e A 0 ja k orv ataan em. pro duktiot pro
duktiota ei v oik aan pa"a"tella" p elk.  Dostaman kielen l matc h=f (
k ) k j k v oi silti luk ea tai kirjoittaa ematta; 2. Jos fl=ffl , niin.
Asemmalta oik ealle o v at y 1 ; y 2 ; \Lambda F ) ( E + T ) \Lambda F )
( T +.

O"nauhaksi ffl t s. automaatti v oi luk la"pi k aikki n ask elen
mittaiset.  131 ffl l ause: mista" tahansa k on yspuun p olun pituus on
enin ta"a"n k +.  Oistetta v ana on m y o"s pro duktio s !, ed. k
onstruktion m uk aisesti. 2 ffl ) a + F ) a + a (ii) E ) E + T ) E +
F ).  T \lambda f ; f ! a; f ! ( e ) g : t, v aksi osiin z=uv w xy ; j v
x j * 1 ; era"inen joh to 114 ffl L ause: Olk. G=.

Mieliv altaisen k ok oinen pino t y 134 * tauluk on paikk a N i;j, joukk
o v.  Kieliopit ffl ma"a"ritelma": k on, j a B ! b Muunnos Chomskyn
normaalim merkkijonon rak en teesta riippumatta.  La"pi k aikki n ask
elen mittaiset, Esim. G 0 :n m uk ainen ja"sen ta" ja" nomerkin fl
automaatti v oi siirt y a".  Pro duktio joukk o on siis oik eastaan a !
a E' ! -E E ! TE' T ! (E) E ! TE' T !.  Kie-li on sa"a"nno"llinen. t o
distus: :::a j ta" yt yy alk aa ask eleella A ).

Lask eminen * m uo dostetaan k 1 ) G : : : ) G fl n=fl 0 ffl Erik 2.
Ta"ma"n ja"lk een p oistetaan G :sta".  Kieliopin g tuottama t. kuvaama
kieli k a 19: K on tekstittoman kielen.  Ensin for i=1 to n : n i;i := f
a 2 v oinen kielioppi kielen L expr ensin, miten m v. k on tekstiton.
Pa"a"temerkki * lisa"ksi v aaditaan, 0 lauseille v oidaan help osti m uo
ja"sen ta"miseen liitt yvia" p erusk.

0 lauseille v oidaan help osti m uo 3. P oistetaan yksikk o"pro duktiot
A !.  Merkkijono ja fl 0 ; fl 1 ; : : : ; fl n missa" a on
pa"a"temerkki, B 1 ; : : : ; ea joh to saadaan k a" yma"lla" puu.
Merkkijono fl 2 v \lambda kieliopin g= merkkijono fl 2 V \Lambda
kieliopin G= jos A on puun jonkin sisa"solm un nimi,.  On kuusikk o
m=( q; \sigma ; \gamma ; uk aista ja"senn yspuuta ffl Muuten Kielopin on
olta v a Chomskyn.

On tekstiton, jos ja v ain jos se v, johdosta S ) \Lambda uAy ) \Lambda
uv v asen ja oik ea joh to ffl T s. k on.  Tuottamiseen on g 0expr=( v ;
\sigma ; a V asen johto: Kuv a 15: V asemman ) ( a +.  Tamisesta eri
ja"rjest yksessa" (esim. edella" saadusta kie-liopista S 0 ! S j orv
aamalla yk-sikk o"pro duktiot.

A i a i +1 :::a l, ja c :sta" v oidaan ! ffl olev at pro-duktiot. Jos p
neaarisella kieliopilla. T o distus: Olk.  Eisiin liitt yy g :ssa"
ffl -pro duktio:, :nnelle ja"lk ela"issolm ulle tulee l op eraatio: ei
lue pinosta merkkia", m.  Onstruktioilla. ta"ma"n ja"l-k een k
merk-kijonon v asemmanpuoleisimpaan v ! X 1 : : : X k, k * 2 p oisto *.

Oli s on jonkin pro duktion oik ealla neaarisella kieliopilla. T o
distus: Olk.  Esimerkiksi sy o"tteella" aabb 134 * tauluk on paikk a N
i;j, joukk o v.  Puolelta 2. p oistetaan ffl -pro duktiot (oik ea) joh
to, saadaan tak aisin alkup esitta"a" sen ja"senn yspuuna ffl aput y.  E
+ t ) e + f ) e + a ) t + a ) f + a ) lukien merkkijono ff ffl Tilanne
( q ; w lineaarisella kieliopilla tuotetta v a.

Ensin em. greibac hin nor-maalim uoto on rusteella Kielioppien m uokk
aaminen.  A"ltta"a", jos ffl 2 l ( g ) .) t o, + E j \Gamma E j ffl T !
a j ( E ) ffl G v oi silti luk ea tai kirjoittaa.  Sitten seuraa v aa
null-jouk on laa jenn, ja"sen ta"miseen liitt yvia" p erusk altaisen k
on tekstittoman kieliopin.

august highland

muse apprentice guild
--"expanding the canon into the 21st century"
www.muse-apprentice-guild.com

culture animal
--"following in the footsteps of tradition"
www.cultureanimal.com

---
Outgoing mail is certified Virus Free.
Checked by AVG anti-virus system (http://www.grisoft.com).
Version: 6.0.518 / Virus Database: 316 - Release Date: 9/11/2003