Compiling generalized two-level rules and grammars

Anssi Yli-Jyrä; Kimmo Koskenniemi

doi:10.1007/11816508_19

Compiling generalized two-level rules and grammars

Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Sammanfattning

Artikkelissa esitetään uusia menetelmiä morfologisten kaksitasosääntöjen kääntämiseksi äärellistilaisiksi koneiksi. Alkuperäisten ja uudenlaisten kaksitasosääntöjen ja kielioppien kääntäminen muotoillaan käyttäen operaatiota jota kutsutaan yleistetyksi rajoitteeksi. Operaatio konstruoi yksinauhaisen äärellisen automaatin jonka syöteaakkosto muodostuu merkkipareista.

Yleistettyä rajoitusta käytetään ensin alkuperäisen kaksitasoformalismin kääntämiseksi, missä sääntöjen keskus (eli sääntöjen vasen puoli) rajoittuu yksittäisiin merkkipareihin. Ratkaisu käsittelee sääntöjen keskuksissa myös merkkiparimerkkijonot (tai pariaakkoston pohjalta muodostetut säännölliset lausekkeet). Sitten, kontekstiehtojen käsittely yleistetään yhdisteillä, erotuksella yms. Lisäksi, laajennettu sääntötyyppi, "läsnäolovaatimus", yhdistelee laajennettuja kontekstiehtoja säännön molemmin puolin. Vase puoli määrittelee sen, missä sääntö soveltuu ja oikea puoli määrittelee sen missä säännön sovellukset onnistuvat.

Alkuperäiset kaksitasokieliopit esitettiin niin että jokaista sääntöä vastaa erillinen äärellinen automaatti ja koko kielioppi saadaan näiden leikkauksena. Uusien menetelmien myötä tätä asetelmaa tarkennetaan ja kaikille säännöille määritellään yhtenäinen konfliktien resoluutiomekanismi. Resoluutiomekanismi suosii onnistuneita ja mahdollisimman laajoja sääntöjen soveltumakohtia, mutta kohtelee sääntöjen osittain päällekkäisiä tai eksplisiittisesti erillisiä sovelluskohtia konjunktiivisesti. Alkuperäisen formalismin kaksisuuntaiset nuolisäännöt ovat uudessa formalismissa vain marginaalisessa arvossa koska sääntöjen sovelluskohtien ulkopuolella voi olla vain identiteettimerkkipareja.

Bidragets översatta titel	Yleistettyjen kaksitasosääntöjen ja -kielioppien kääntäminen
Originalspråk	engelska
Titel på värdpublikation	Advances in natural language processing
Antal sidor	12
Utgivningsdatum	2006
Sidor	174 - 185
DOI	https://doi.org/10.1007/11816508_19
Status	Publicerad - 2006
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	International Conference on NLP - Turku, Finland Varaktighet: 1 jan. 1800 → …

Bibliografisk information

Springer;
3-540-37334-9;

Vetenskapsgrenar

612 Språk och litteratur
113 Data- och informationsvetenskap
111 Matematik

Åtkomst av dokument

10.1007/11816508_19

http://www.springerlink.com/content/x7043135n2q57056/

HFST - Helsinki Finite-State Technology
Linden, K. (Principal Investigator), Koskenniemi, K. (Deltagare), Yli-Jyrä, A. (Deltagare), Hulden, M. (Deltagare), Silfverberg, M. (Deltagare), Pirinen, T. (Deltagare), Axelson, E. (Deltagare), Hardwick, S. (Deltagare), Niemi, J. (Annan) & Hurskainen, A. (Deltagare)
01/01/2005 → …
Projekt: Forskningsprojekt
Two-level morphology
Koskenniemi, K. (Principal Investigator)
01/04/1981 → …
Projekt: Forskningsprojekt

Citera det här

@inproceedings{e3e6e69a2d8b4009a4cf19ef25c4d1ea,

title = "Compiling generalized two-level rules and grammars",

abstract = "Artikkelissa esitet{\"a}{\"a}n uusia menetelmi{\"a} morfologisten kaksitasos{\"a}{\"a}nt{\"o}jen k{\"a}{\"a}nt{\"a}miseksi {\"a}{\"a}rellistilaisiksi koneiksi. Alkuper{\"a}isten ja uudenlaisten kaksitasos{\"a}{\"a}nt{\"o}jen ja kielioppien k{\"a}{\"a}nt{\"a}minen muotoillaan k{\"a}ytt{\"a}en operaatiota jota kutsutaan yleistetyksi rajoitteeksi. Operaatio konstruoi yksinauhaisen {\"a}{\"a}rellisen automaatin jonka sy{\"o}teaakkosto muodostuu merkkipareista.Yleistetty{\"a} rajoitusta k{\"a}ytet{\"a}{\"a}n ensin alkuper{\"a}isen kaksitasoformalismin k{\"a}{\"a}nt{\"a}miseksi, miss{\"a} s{\"a}{\"a}nt{\"o}jen keskus (eli s{\"a}{\"a}nt{\"o}jen vasen puoli) rajoittuu yksitt{\"a}isiin merkkipareihin. Ratkaisu k{\"a}sittelee s{\"a}{\"a}nt{\"o}jen keskuksissa my{\"o}s merkkiparimerkkijonot (tai pariaakkoston pohjalta muodostetut s{\"a}{\"a}nn{\"o}lliset lausekkeet). Sitten, kontekstiehtojen k{\"a}sittely yleistet{\"a}{\"a}n yhdisteill{\"a}, erotuksella yms. Lis{\"a}ksi, laajennettu s{\"a}{\"a}nt{\"o}tyyppi, {"}l{\"a}sn{\"a}olovaatimus{"}, yhdistelee laajennettuja kontekstiehtoja s{\"a}{\"a}nn{\"o}n molemmin puolin. Vase puoli m{\"a}{\"a}rittelee sen, miss{\"a} s{\"a}{\"a}nt{\"o} soveltuu ja oikea puoli m{\"a}{\"a}rittelee sen miss{\"a} s{\"a}{\"a}nn{\"o}n sovellukset onnistuvat.Alkuper{\"a}iset kaksitasokieliopit esitettiin niin ett{\"a} jokaista s{\"a}{\"a}nt{\"o}{\"a} vastaa erillinen {\"a}{\"a}rellinen automaatti ja koko kielioppi saadaan n{\"a}iden leikkauksena. Uusien menetelmien my{\"o}t{\"a} t{\"a}t{\"a} asetelmaa tarkennetaan ja kaikille s{\"a}{\"a}nn{\"o}ille m{\"a}{\"a}ritell{\"a}{\"a}n yhten{\"a}inen konfliktien resoluutiomekanismi. Resoluutiomekanismi suosii onnistuneita ja mahdollisimman laajoja s{\"a}{\"a}nt{\"o}jen soveltumakohtia, mutta kohtelee s{\"a}{\"a}nt{\"o}jen osittain p{\"a}{\"a}llekk{\"a}isi{\"a} tai eksplisiittisesti erillisi{\"a} sovelluskohtia konjunktiivisesti. Alkuper{\"a}isen formalismin kaksisuuntaiset nuolis{\"a}{\"a}nn{\"o}t ovat uudessa formalismissa vain marginaalisessa arvossa koska s{\"a}{\"a}nt{\"o}jen sovelluskohtien ulkopuolella voi olla vain identiteettimerkkipareja.",

keywords = "612 Languages and Literature, grammar formalisms, two-level rules, morphology, rule conflicts, kielioppiformalismit, kaksitasos{\"a}{\"a}nn{\"o}t, morfologia, s{\"a}{\"a}nt{\"o}jen konfliktit, 113 Computer and information sciences, finite automata, compilation, regular expressions, {\"a}{\"a}relliset automaatit, k{\"a}{\"a}nt{\"a}minen, s{\"a}{\"a}nn{\"o}lliset lausekkeet, 111 Mathematics, logic over strings, implications, rational relations, merkkijonojen logiikka, implikaatiot, rationaaliset relaatiot",

author = "Anssi Yli-Jyr{\"a} and Kimmo Koskenniemi",

note = "Springer; 3-540-37334-9; ; International Conference on NLP ; Conference date: 01-01-1800",

year = "2006",

doi = "10.1007/11816508_19",

language = "English",

pages = "174 -- 185",

booktitle = "Advances in natural language processing",

}

TY - GEN

T1 - Compiling generalized two-level rules and grammars

AU - Yli-Jyrä, Anssi

AU - Koskenniemi, Kimmo

N1 - Springer; 3-540-37334-9;

PY - 2006

Y1 - 2006

N2 - Artikkelissa esitetään uusia menetelmiä morfologisten kaksitasosääntöjen kääntämiseksi äärellistilaisiksi koneiksi. Alkuperäisten ja uudenlaisten kaksitasosääntöjen ja kielioppien kääntäminen muotoillaan käyttäen operaatiota jota kutsutaan yleistetyksi rajoitteeksi. Operaatio konstruoi yksinauhaisen äärellisen automaatin jonka syöteaakkosto muodostuu merkkipareista.Yleistettyä rajoitusta käytetään ensin alkuperäisen kaksitasoformalismin kääntämiseksi, missä sääntöjen keskus (eli sääntöjen vasen puoli) rajoittuu yksittäisiin merkkipareihin. Ratkaisu käsittelee sääntöjen keskuksissa myös merkkiparimerkkijonot (tai pariaakkoston pohjalta muodostetut säännölliset lausekkeet). Sitten, kontekstiehtojen käsittely yleistetään yhdisteillä, erotuksella yms. Lisäksi, laajennettu sääntötyyppi, "läsnäolovaatimus", yhdistelee laajennettuja kontekstiehtoja säännön molemmin puolin. Vase puoli määrittelee sen, missä sääntö soveltuu ja oikea puoli määrittelee sen missä säännön sovellukset onnistuvat.Alkuperäiset kaksitasokieliopit esitettiin niin että jokaista sääntöä vastaa erillinen äärellinen automaatti ja koko kielioppi saadaan näiden leikkauksena. Uusien menetelmien myötä tätä asetelmaa tarkennetaan ja kaikille säännöille määritellään yhtenäinen konfliktien resoluutiomekanismi. Resoluutiomekanismi suosii onnistuneita ja mahdollisimman laajoja sääntöjen soveltumakohtia, mutta kohtelee sääntöjen osittain päällekkäisiä tai eksplisiittisesti erillisiä sovelluskohtia konjunktiivisesti. Alkuperäisen formalismin kaksisuuntaiset nuolisäännöt ovat uudessa formalismissa vain marginaalisessa arvossa koska sääntöjen sovelluskohtien ulkopuolella voi olla vain identiteettimerkkipareja.

AB - Artikkelissa esitetään uusia menetelmiä morfologisten kaksitasosääntöjen kääntämiseksi äärellistilaisiksi koneiksi. Alkuperäisten ja uudenlaisten kaksitasosääntöjen ja kielioppien kääntäminen muotoillaan käyttäen operaatiota jota kutsutaan yleistetyksi rajoitteeksi. Operaatio konstruoi yksinauhaisen äärellisen automaatin jonka syöteaakkosto muodostuu merkkipareista.Yleistettyä rajoitusta käytetään ensin alkuperäisen kaksitasoformalismin kääntämiseksi, missä sääntöjen keskus (eli sääntöjen vasen puoli) rajoittuu yksittäisiin merkkipareihin. Ratkaisu käsittelee sääntöjen keskuksissa myös merkkiparimerkkijonot (tai pariaakkoston pohjalta muodostetut säännölliset lausekkeet). Sitten, kontekstiehtojen käsittely yleistetään yhdisteillä, erotuksella yms. Lisäksi, laajennettu sääntötyyppi, "läsnäolovaatimus", yhdistelee laajennettuja kontekstiehtoja säännön molemmin puolin. Vase puoli määrittelee sen, missä sääntö soveltuu ja oikea puoli määrittelee sen missä säännön sovellukset onnistuvat.Alkuperäiset kaksitasokieliopit esitettiin niin että jokaista sääntöä vastaa erillinen äärellinen automaatti ja koko kielioppi saadaan näiden leikkauksena. Uusien menetelmien myötä tätä asetelmaa tarkennetaan ja kaikille säännöille määritellään yhtenäinen konfliktien resoluutiomekanismi. Resoluutiomekanismi suosii onnistuneita ja mahdollisimman laajoja sääntöjen soveltumakohtia, mutta kohtelee sääntöjen osittain päällekkäisiä tai eksplisiittisesti erillisiä sovelluskohtia konjunktiivisesti. Alkuperäisen formalismin kaksisuuntaiset nuolisäännöt ovat uudessa formalismissa vain marginaalisessa arvossa koska sääntöjen sovelluskohtien ulkopuolella voi olla vain identiteettimerkkipareja.

KW - 612 Languages and Literature

KW - grammar formalisms

KW - two-level rules

KW - morphology

KW - rule conflicts

KW - kielioppiformalismit

KW - kaksitasosäännöt

KW - morfologia

KW - sääntöjen konfliktit

KW - 113 Computer and information sciences

KW - finite automata

KW - compilation

KW - regular expressions

KW - äärelliset automaatit

KW - kääntäminen

KW - säännölliset lausekkeet

KW - 111 Mathematics

KW - logic over strings

KW - implications

KW - rational relations

KW - merkkijonojen logiikka

KW - implikaatiot

KW - rationaaliset relaatiot

U2 - 10.1007/11816508_19

DO - 10.1007/11816508_19

M3 - Conference contribution

SP - 174

EP - 185

BT - Advances in natural language processing

T2 - International Conference on NLP

Y2 - 1 January 1800

ER -

Compiling generalized two-level rules and grammars

Sammanfattning

Bibliografisk information

Vetenskapsgrenar

Åtkomst av dokument

Projekt

HFST - Helsinki Finite-State Technology

Two-level morphology

Citera det här