Pivotal synchronization languages: a framework for alignments

Anssi Mikael Yli-Jyrä; Jyrki Antero Niemi

doi:10.1007/11780885_26

Pivotal synchronization languages: a framework for alignments

Anssi Mikael Yli-Jyrä, Jyrki Antero Niemi

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

Sammanfattning

We propose pivotal synchronization languages (PSLs) that represent alignments of parallel processes. PSLs are closely related to synchronization languages [10], but the strings in PSLs are partitioned into sequences of pivots. In the partitioned representation, each pivot gathers and aligns simultaneous process boundaries (starts and terminations). The paper demonstrates that PSLs (and new join operators) provide a unified framework for implementing some independent formalisms. In particular, we show that at least two existing formalisms, generalized synchronization expressions [10] and interleave-disjunction-lock expressions [8] have PSL-based counterparts. Furthermore, we sketch tentatively a new formalism that adapts the ideas of the operator of generalized restriction [11] to PSLs. All this suggests that the union of these formalisms might be implementable.

Bidragets översatta titel	Pivotoivat synkronisaatiokielet: viitekehys kohdistuksia varten
Originalspråk	engelska
Titel på värdpublikation	Finite-State Methods and Natural Language Processing : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers
Redaktörer	Anssi Yli-Jyrä, Lauri Karttunen, Juhani Karhumäki
Antal sidor	12
Utgivningsort	Berlin Heidelberg
Förlag	Springer-Verlag
Utgivningsdatum	2006
Sidor	271--282
ISBN (tryckt)	978-3-540-35467-3
ISBN (elektroniskt)	3-540-35467-0
DOI	https://doi.org/10.1007/11780885_26
Status	Publicerad - 2006
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	Finite-State Methods and Natural Language Processing, FSMNLP 2005 - Helsinki, Finland Varaktighet: 1 sep. 2005 → 2 sep. 2005 Konferensnummer: 5

Publikationsserier

Namn	Lecture Notes in Artificial Intelligence
Förlag	Springer-Verlag
Volym	4002
ISSN (tryckt)	0302-9743

Vetenskapsgrenar

113 Data- och informationsvetenskap
612 Språk och litteratur

Åtkomst av dokument

10.1007/11780885_26

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

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

Citera det här

Yli-Jyrä, A. M., & Niemi, J. A. (2006). Pivotal synchronization languages: a framework for alignments. I A. Yli-Jyrä, L. Karttunen, & J. Karhumäki (Red.), Finite-State Methods and Natural Language Processing: 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers (s. 271--282). (Lecture Notes in Artificial Intelligence; Vol. 4002). Springer-Verlag. https://doi.org/10.1007/11780885_26

Yli-Jyrä, Anssi Mikael ; Niemi, Jyrki Antero. / Pivotal synchronization languages: a framework for alignments. Finite-State Methods and Natural Language Processing: 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers. redaktör / Anssi Yli-Jyrä ; Lauri Karttunen ; Juhani Karhumäki. Berlin Heidelberg : Springer-Verlag, 2006. s. 271--282 (Lecture Notes in Artificial Intelligence).

@inproceedings{c1c16ca98ee645be9f71046205abde9e,

title = "Pivotal synchronization languages: a framework for alignments",

abstract = "We propose pivotal synchronization languages (PSLs) that represent alignments of parallel processes. PSLs are closely related to synchronization languages [10], but the strings in PSLs are partitioned into sequences of pivots. In the partitioned representation, each pivot gathers and aligns simultaneous process boundaries (starts and terminations). The paper demonstrates that PSLs (and new join operators) provide a unified framework for implementing some independent formalisms. In particular, we show that at least two existing formalisms, generalized synchronization expressions [10] and interleave-disjunction-lock expressions [8] have PSL-based counterparts. Furthermore, we sketch tentatively a new formalism that adapts the ideas of the operator of generalized restriction [11] to PSLs. All this suggests that the union of these formalisms might be implementable.",

keywords = "113 Computer and information sciences, rinnakkaisprosessit, synkronointilausekkeet, s{\"a}{\"a}nn{\"o}lliset lausekkeet, lomitus-disjunktio-lukko-lausekkeet, aikav{\"a}lit, temporaaliset relaatiot, aikadomain, parallel processes, synchronisation expressions, regular expressions, interleave-disjunction-lock expressions, time intervals, temporal relations, time domain, 612 Languages and Literature, autosegmentit, metrinen fonologia, kohdistus, autosegments, metrical phonology, alignment, multilinearity",

author = "Yli-Jyr{\"a}, {Anssi Mikael} and Niemi, {Jyrki Antero}",

year = "2006",

doi = "10.1007/11780885_26",

language = "English",

isbn = "978-3-540-35467-3",

series = "Lecture Notes in Artificial Intelligence",

publisher = "Springer-Verlag",

pages = "271----282",

editor = "Anssi Yli-Jyr{\"a} and Lauri Karttunen and Juhani Karhum{\"a}ki",

booktitle = "Finite-State Methods and Natural Language Processing",

address = "Germany",

note = "Finite-State Methods and Natural Language Processing, FSMNLP 2005 ; Conference date: 01-09-2005 Through 02-09-2005",

}

Yli-Jyrä, AM & Niemi, JA 2006, Pivotal synchronization languages: a framework for alignments. i A Yli-Jyrä, L Karttunen & J Karhumäki (red), Finite-State Methods and Natural Language Processing: 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers. Lecture Notes in Artificial Intelligence, vol. 4002, Springer-Verlag, Berlin Heidelberg, s. 271--282, Finite-State Methods and Natural Language Processing, FSMNLP 2005, Helsinki, Finland, 01/09/2005. https://doi.org/10.1007/11780885_26

Pivotal synchronization languages: a framework for alignments. / Yli-Jyrä, Anssi Mikael ; Niemi, Jyrki Antero.
Finite-State Methods and Natural Language Processing: 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers. red. / Anssi Yli-Jyrä; Lauri Karttunen; Juhani Karhumäki. Berlin Heidelberg: Springer-Verlag, 2006. s. 271--282 (Lecture Notes in Artificial Intelligence; Vol. 4002).

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

TY - GEN

T1 - Pivotal synchronization languages: a framework for alignments

AU - Yli-Jyrä, Anssi Mikael

AU - Niemi, Jyrki Antero

N1 - Conference code: 5

PY - 2006

Y1 - 2006

N2 - We propose pivotal synchronization languages (PSLs) that represent alignments of parallel processes. PSLs are closely related to synchronization languages [10], but the strings in PSLs are partitioned into sequences of pivots. In the partitioned representation, each pivot gathers and aligns simultaneous process boundaries (starts and terminations). The paper demonstrates that PSLs (and new join operators) provide a unified framework for implementing some independent formalisms. In particular, we show that at least two existing formalisms, generalized synchronization expressions [10] and interleave-disjunction-lock expressions [8] have PSL-based counterparts. Furthermore, we sketch tentatively a new formalism that adapts the ideas of the operator of generalized restriction [11] to PSLs. All this suggests that the union of these formalisms might be implementable.

AB - We propose pivotal synchronization languages (PSLs) that represent alignments of parallel processes. PSLs are closely related to synchronization languages [10], but the strings in PSLs are partitioned into sequences of pivots. In the partitioned representation, each pivot gathers and aligns simultaneous process boundaries (starts and terminations). The paper demonstrates that PSLs (and new join operators) provide a unified framework for implementing some independent formalisms. In particular, we show that at least two existing formalisms, generalized synchronization expressions [10] and interleave-disjunction-lock expressions [8] have PSL-based counterparts. Furthermore, we sketch tentatively a new formalism that adapts the ideas of the operator of generalized restriction [11] to PSLs. All this suggests that the union of these formalisms might be implementable.

KW - 113 Computer and information sciences

KW - rinnakkaisprosessit

KW - synkronointilausekkeet

KW - säännölliset lausekkeet

KW - lomitus-disjunktio-lukko-lausekkeet

KW - aikavälit

KW - temporaaliset relaatiot

KW - aikadomain

KW - parallel processes

KW - synchronisation expressions

KW - regular expressions

KW - interleave-disjunction-lock expressions

KW - time intervals

KW - temporal relations

KW - time domain

KW - 612 Languages and Literature

KW - autosegmentit

KW - metrinen fonologia

KW - kohdistus

KW - autosegments

KW - metrical phonology

KW - alignment

KW - multilinearity

U2 - 10.1007/11780885_26

DO - 10.1007/11780885_26

M3 - Conference contribution

SN - 978-3-540-35467-3

T3 - Lecture Notes in Artificial Intelligence

SP - 271

EP - 282

BT - Finite-State Methods and Natural Language Processing

A2 - Yli-Jyrä, Anssi

A2 - Karttunen, Lauri

A2 - Karhumäki, Juhani

PB - Springer-Verlag

CY - Berlin Heidelberg

T2 - Finite-State Methods and Natural Language Processing, FSMNLP 2005

Y2 - 1 September 2005 through 2 September 2005

ER -

Yli-Jyrä AM , Niemi JA. Pivotal synchronization languages: a framework for alignments. I Yli-Jyrä A, Karttunen L, Karhumäki J, redaktörer, Finite-State Methods and Natural Language Processing: 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers. Berlin Heidelberg: Springer-Verlag. 2006. s. 271--282. (Lecture Notes in Artificial Intelligence). doi: 10.1007/11780885_26

Pivotal synchronization languages: a framework for alignments

Sammanfattning

Publikationsserier

Vetenskapsgrenar

Åtkomst av dokument

Projekt

HFST - Helsinki Finite-State Technology

Citera det här