Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Theory and Applications of Lan...

Theory and Applications of Language Equations, Proceedings of the 1st International Workshop, Turku, Finland, 2 July 2007

Michal Kunc, Alexander Okhotin (Eds.), Theory and Applications of Language Equations, Proceedings of the 1st International Workshop, Turku, Finland, 2 July 2007 , TUCS General Publication, Turku Centre for Computer Science, 2007.

Abstract:

The first workshop on Theory and Applications of Language Equations (TALE 2007) was held in Turku, Finland on 2 July 2007 as a satellite event to the annually held conference on Developments in Language Theory (DLT 2007).

The main topic of the workshop are equations with formal languages as unknowns. Such equations are among the most natural objects of formal language theory and have been studied since its inception in early 1960s. The recent renewal of interest in this fundamental subject prompted us to organize a workshop aimed to bring together researchers working on different aspects of different variants of language equations and related formalisms. The scope of the workshop covers such subjects as decision problems for language equations, families of languages defined by language equations, language equations with various operations, different forms of language equations, identities on formal languages, representation of applied problems by language equations, conjunctive grammars, Boolean grammars, descriptional complexity of language equations and set constraints.

The workshop programme consisted of 3 invited talks given by experts in areas closely related to language equations, and of 6 contributed talks selected by the programme committee, with each submission being reviewed by at least three programme committee members.

Files:

Full publication in PDF-format

BibTeX entry:

@PROCEEDINGS{pKuOk07a,
  title = {Theory and Applications of Language Equations, Proceedings of the 1st International Workshop, Turku, Finland, 2 July 2007 },
  number = {44},
  series = {TUCS General Publication},
  editor = {Kunc, Michal and Okhotin, Alexander},
  publisher = {Turku Centre for Computer Science},
  year = {2007},
  ISBN = {978-952-12-1920-7},
}

Belongs to TUCS Research Unit(s): FUNDIM, Fundamentals of Computing and Discrete Mathematics

Edit publication