26. Theorietag Automaten und Formale Sprachen 23. Jahrestagung Logik in der Informatik: Tagungsband

Der Theorietag ist die Jahrestagung der Fachgruppe Automaten und Formale Sprachen der Gesellschaft für Informatik und fand erstmals 1991 in Magdeburg statt. Seit dem Jahr 1996 wird der Theorietag von einem eintägigen Workshop mit eingeladenen Vorträgen begleitet. Die Jahrestagung der Fachgruppe Logik in der Informatik der Gesellschaft für Informatik fand erstmals 1993 in Leipzig statt. Im Laufe beider Jahrestagungen finden auch die jährliche Fachgruppensitzungen statt. In diesem Jahr wird der Theorietag der Fachgruppe Automaten und Formale Sprachen erstmalig zusammen mit der Jahrestagung der Fachgruppe Logik in der Informatik abgehalten. Organisiert wurde die gemeinsame Veranstaltung von der Arbeitsgruppe Zuverlässige Systeme des Instituts für Informatik an der Christian-Albrechts-Universität Kiel vom 4. bis 7. Oktober im Tagungshotel Tannenfelde bei Neumünster. Während des Tre↵ens wird ein Workshop für alle Interessierten statt finden. In Tannenfelde werden • Christoph Löding (Aachen) • Tomás Masopust (Dresden) • Henning Schnoor (Kiel) • Nicole Schweikardt (Berlin) • Georg Zetzsche (Paris) eingeladene Vorträge zu ihrer aktuellen Arbeit halten. Darüber hinaus werden 26 Vorträge von Teilnehmern und Teilnehmerinnen gehalten, 17 auf dem Theorietag Automaten und formale Sprachen und neun auf der Jahrestagung Logik in der Informatik. Der vorliegende Band enthält Kurzfassungen aller Beiträge. Wir danken der Gesellschaft für Informatik, der Christian-Albrechts-Universität zu Kiel und dem Tagungshotel Tannenfelde für die Unterstützung dieses Theorietags. Ein besonderer Dank geht an das Organisationsteam: Maike Bradler, Philipp Sieweck, Joel Day. Kiel, Oktober 2016 Florin Manea, Dirk Nowotka und Thomas Wilk

Unbounded Recursion in Two Dimensions, Where Syntax and Prosody Meet

Both syntax and prosody seem to require structures with unbounded branching, something that is not immediately provided by multiple context free grammars or other equivalently expressive formalisms. That extension is easy, and does not disrupt an appealing model of prosody/syntax interaction. Rather than computing prosodic and syntactic structures independently and then selecting optimally corresponding pairs, prosodic structures can be computed directly from the syntax, eliminating alignment issues and the need for bracket-insertion or other ad hoc devices. To illustrate, a simple model of prosodically-defined Irish pronoun displacement is briefly compared to previous proposals

The Complexity of Optimizing Over Strictly Local Constraints

We show that in Optimality Theory (OT; Prince and Smolensky 1993), optimization over strictly local (SL; McNaughton and Papert 1971) constraints can generate fully regular patterns. We show that a set of stress constraints defined as SL but evaluated in parallel OT predicts an unattested ``sour grapes\u27\u27-type stress assignment pattern, in which iterative foot assignment occurs if and only if it generates a full parse. We show that this pattern is fully regular, thus demonstrating that SL constraints are not closed under optimization. Furthermore, while sour grapes has received attention in harmony (Padgett 1995, Wilson 2003, Wilson 2006, McCarthy 2010) and tone phenomena (Jardine 2016), the possibility of sour grapes-like stress has not previously been discussed

Lexico-semantic and morphosyntactic processing in French-speaking adolescents with and without developmental language disorder

CodirectionBien que la communauté scientifique soit toujours à la recherche d'une caractéristique déterminante du trouble développemental du langage (TDL), les difficultés d'accord sujet-verbe, et par extension morphosyntaxiques, ont été identifiées comme un marqueur du TDL chez les enfants anglophones, autant chez les enfants du préscolaire que les plus vieux. Cependant, des études sur les enfants francophones d'âge préscolaire suggèrent que les déficits morphosyntaxiques ne seraient pas un marqueur fiable du TDL. Puisque que certains aspects de la morphosyntaxe en français ne sont acquis que vers l’âge de huit ans chez les enfants au développement typique, tels que l'accord en nombre des verbes sous-réguliers et irréguliers, ci-après SOUSIRR, les déficits morphosyntaxiques pourraient être un marqueur du TDL en français uniquement vers la (pré-)adolescence. Cette thèse a pour objectifs de déterminer si les (pré-)adolescents francophones au développement typique ont acquis l'accord en nombre des verbes SOUSIRR, si les (pré)adolescents francophones avec un TDL ont des déficits d'accord en nombre des verbes SOUSIRR, et à établir si la morphosyntaxe est un domaine de faiblesse par rapport à la lexico-sémantique dans cette population. L'accord en nombre des verbes SOUSIRR et les compétences morphosyntaxiques ont été évalués à l'aide de tâches ciblant les niveaux comportemental et neurocognitif en utilisant des tâches linguistiques et des potentiels évoqués (PÉ). De plus, nous avons développé des prédictions basées sur deux théories touchant les compétences morphosyntaxiques chez les (pré-)adolescents atteints de TDL : l'hypothèse du déficit procédural (Ullman & Pierpont, 2005 ; Ullman et al., 2020), et l'hypothèse du ralentissement généralisé (Kail, 1994). Cette thèse est composée de trois manuscrits pour publication. Le premier évalue les compétences des participants dans plusieurs domaines linguistiques, à l'aide de tâches comportementales typiquement utilisées en orthophonie et dans la recherche sur l’acquisition du langage. Les données révèlent des déficits lexico-sémantiques et morphosyntaxiques chez les participants avec un TDL, mais suggèrent qu'une tâche d'accord en nombre des verbes SOUSIRR était la meilleure pour discriminer les participants avec et sans TDL. Le deuxième article présente une étude innovante de PÉs utilisant uniquement des phrases grammaticales, présentées simultanément avec des images sémantiquement ou grammaticalement congruentes et incongruentes, afin d'évaluer le traitement morphosyntaxique et lexico-sémantique des phrases au niveau neurocognitif. Les résultats provenant de vingt-huit adultes francophones montrent qu'ils ont présenté les composantes PÉs attendues et comparables aux études utilisant des phrases agrammaticales. Ces données ont servi de référence pour établir si nos participants avec et sans TDL avaient un traitement linguistique mature. Le troisième article a testé cette nouvelle expérimentation avec nos participants (pré )adolescents. Les résultats suggèrent que, contrairement à la morphosyntaxe, la lexico-sémantique est une force relative chez les adolescents avec un TDL lors du traitement de l'information linguistique au niveau neurocognitif. Dans l'ensemble, cette thèse révèle que la morphosyntaxe est particulièrement altérée chez les adolescents francophones avec un TDL. Nous discutons les résultats en relation avec la pratique clinique orthophonique et soulignons l'importance d'examiner les processus neurocognitifs dans l'étude du TDL.Although the scientific community is still searching for a defining characteristic of developmental language disorder (DLD), problems with subject-verb agreement, and by extension morphosyntax, have been identified as a hallmark of English-speaking preschoolers and older children with DLD. However, in studies of French-speaking preschoolers with DLD, morphosyntax has not been found to be a specific linguistic weakness. Since there is evidence that some aspects of morphosyntax in French are acquired by children with typical language (TL) development only later in childhood, such as subregular and irregular subject-verb number agreement, henceforth SUBIRR, morphosyntax has been argued to be a French marker for DLD only in older childhood and adolescence. The present thesis aimed to determine if French speaking (pre-)teenagers with TL have acquired SUBIRR number agreement, resolve whether French-speaking (pre-)teenagers with DLD are impaired on SUBIRR number agreement, and establish whether morphosyntax is an area of weakness as compared to lexico-semantics in this population. SUBIRR number agreement and morphosyntactic skills were evaluated with tasks targeting the behavioural and neurocognitive levels using linguistics tasks and event-related potentials (ERP). Furthermore, we contrasted two theories’ predictions on morphosyntactic skills in (pre-)teens with DLD : the procedural deficit hypothesis (Ullman & Pierpont, 2005; Ullman et al., 2020), and the generalized slowing hypothesis (Kail, 1994). This thesis is composed of three manuscripts for publication. The first evaluated our participants’ skills in multiple linguistic domains with behavioural tasks typical of clinical and research settings. Data reveal impairments in the DLD group in both lexico-semantic and morphosyntactic domains but suggest that a SUBIRR number agreement task was best at discriminating DLD from controls. The second article presents a novel ERP experimental design using only grammatical sentences, presented simultaneously with semantically and grammatically congruent or incongruent images, to assess morphosyntactic and lexico-semantic sentence processing at the neurocognitive level. Data from twenty-eight French-speaking adults show that they elicited the expected ERP components found in previous studies using ungrammatical sentences. These data served as a reference to establish whether our participants with and without TL process sentences in a mature way. The third article tested this novel ERP experiment with our (pre-)teen participants. We tested predictions of the procedural deficit hypothesis which states that children with DLD should have impaired morphosyntax due to an underlying procedural memory deficit, and the generalized slowing hypothesis, which proposes that all linguistic domains should be impaired due to an underlying processing deficit. This experimental design was run on teens with and without DLD. Although some processing delays were found in the DLD group, results on most conditions better fit the procedural deficit hypothesis. This study suggests that, in contrast with morphosyntax, lexico-semantics is a relative strength in teenagers with DLD when processing linguistic information at the neurocognitive level. Overall, this thesis reveals that morphosyntax, tested through SUBIRR number agreement, is especially impaired in French-speaking teens with DLD when compared to their TL peers. We discuss the findings in relation to clinical practice and highlight the importance of examining neurocognitive processes in language assessment

Kuinka risteämättömät Universal Dependencies puupankkien puut voidaan voidaan upottaa matalakompleksiseen säännölliseen kieleen

A recently proposed balanced-bracket encoding (Yli-Jyrä and GómezRodríguez 2017) has given us a way to embed all noncrossing dependency graphs into the string space and to formulate their exact arcfactored inference problem (Kuhlmann and Johnsson 2015) as the best string problem in a dynamically constructed and weighted unambiguous context-free grammar. The current work improves the encoding and makes it shallower by omitting redundant brackets from it. The streamlined encoding gives rise to a bounded-depth subset approximation that is represented by a small finite-state automaton. When bounded to 7 levels of balanced brackets, the automaton has 762 states and represents a strict superset of more than 99.9999% of the noncrossing trees available in Universal Dependencies 2.4 (Nivre et al. 2019). In addition, it strictly contains all 15-vertex noncrossing digraphs. When bounded to 4 levels and 90 states, the automaton still captures 99.2% of all noncrossing trees in the reference dataset. The approach is flexible and extensible towards unrestricted graphs, and it suggests tight finite-state bounds for dependency parsing, and for the main existing parsing methods.A recently proposed balanced-bracket encoding (Yli-Jyrä and Gómez-Rodríguez 2017) has given us a way to embed all noncrossing dependency graphs into the string space and to formulate their exact arc-factored inference problem (Kuhlmann and Johnsson 2015) as the best string problem in a dynamically constructed and weighted unambiguous context-free grammar. The current work improves the encoding and makes it shallower by omitting redundant brackets from it. The streamlined encoding gives rise to a bounded-depth subset approximation that is represented by a small finite-state automaton. When bounded to 7 levels of balanced brackets, the automaton has 762 states and represents a strict superset of more than 99.9999% of the noncrossing trees available in Universal Dependencies 2.4 (Nivre et al. 2019). In addition, it strictly contains all 15-vertex noncrossing digraphs. When bounded to 4 levels and 90 states, the automaton still captures 99.2% of all noncrossing trees in the reference dataset. The approach is flexible and extensible towards unrestricted graphs, and it suggests tight finite-state bounds for dependency parsing, and for the main existing parsing methods.Peer reviewe