Compiling generalized two-level rules and grammars

Anssi Yli-Jyrä; Kimmo Koskenniemi

doi:10.1007/11816508_19

Compiling generalized two-level rules and grammars

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Abstract

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.

Translated title of the contribution	Yleistettyjen kaksitasosääntöjen ja -kielioppien kääntäminen
Original language	English
Title of host publication	Advances in natural language processing
Number of pages	12
Publication date	2006
Pages	174 - 185
DOIs	https://doi.org/10.1007/11816508_19
Publication status	Published - 2006
MoE publication type	A4 Article in conference proceedings
Event	International Conference on NLP - Turku, Finland Duration: 1 Jan 1800 → …

Bibliographical note

Springer;
3-540-37334-9;

Fields of Science

612 Languages and Literature
grammar formalisms
two-level rules
morphology
rule conflicts
113 Computer and information sciences
finite automata
compilation
regular expressions
111 Mathematics
logic over strings
implications
rational relations

Access to Document

10.1007/11816508_19

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

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

Cite this

@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

Abstract

Bibliographical note

Fields of Science

Access to Document

Projects

HFST - Helsinki Finite-State Technology

Two-level morphology

Cite this