中文
相关论文

相关论文: Various Types of Comet Languages and their Applica…

200 篇论文

We present COMET, a neural framework for training multilingual machine translation evaluation models which obtains new state-of-the-art levels of correlation with human judgements. Our framework leverages recent breakthroughs in…

计算与语言 · 计算机科学 2020-10-20 Ricardo Rei , Craig Stewart , Ana C Farinha , Alon Lavie

This paper presents a restricted form of linear indexed grammars, called even linear indexed grammars, which yield the even linear indexed languages. These languages properly contain the context-free languages and are contained in the set…

形式语言与自动机理论 · 计算机科学 2014-08-26 Benjamin Caulfield

Classic grammars and regular expressions can be used for a variety of purposes, including parsing, intent detection, and matching. However, the comparisons are performed at a structural level, with constituent elements (words or characters)…

计算与语言 · 计算机科学 2018-08-16 David Wingate , William Myers , Nancy Fulda , Tyler Etchart

Several methods are discussed that construct a finite automaton given a context-free grammar, including both methods that lead to subsets and those that lead to supersets of the original context-free language. Some of these methods of…

计算与语言 · 计算机科学 2007-05-23 Mark-Jan Nederhof

A new family of categorial grammars is proposed, defined by enriching basic categorial grammars with a conjunction operation. It is proved that the formalism obtained in this way has the same expressive power as conjunctive grammars, that…

计算机科学中的逻辑 · 计算机科学 2024-05-28 Stepan L. Kuznetsov , Alexander Okhotin

Languages vary widely in how meanings map to word forms. These mappings have been found to support efficient communication; however, this theory does not account for systematic relations within word forms. We examine how a restricted set of…

计算与语言 · 计算机科学 2026-01-27 Doreen Osmelak , Yang Xu , Michael Hahn , Kate McCurdy

Commutative languages with the semilinear property (SLIP) can be naturally recognized by real-time NLOG-SPACE multi-counter machines. We show that unions and concatenations of such languages can be similarly recognized, relying on -- and…

形式语言与自动机理论 · 计算机科学 2014-05-23 Stefano Crespi Reghizzi , Pierluigi San Pietro

A practical tool for natural language modeling and development of human-machine interaction is developed in the context of formal grammars and languages. A new type of formal grammars, called grammars with prohibition, is introduced.…

形式语言与自动机理论 · 计算机科学 2013-02-22 Mark Burgin

This paper solves an open problem concerning the generative power of nonerasing context-free rewriting systems using a simple mechanism for checking for context dependencies, in the literature known as semi-conditional grammars of degree…

形式语言与自动机理论 · 计算机科学 2010-04-22 Tomas Masopust

Context-free languages are widely used to describe the syntax of programming languages and natural languages. Usually, we describe a context-free language mathematically with the help of context-free grammar (for generation) or pushdown…

形式语言与自动机理论 · 计算机科学 2020-10-13 Krasimir Yordzhev

We propose a scalable framework for deciding, proving, and explaining (in-)equivalence of context-free grammars. We present an implementation of the framework and evaluate it on large data sets collected within educational support systems.…

形式语言与自动机理论 · 计算机科学 2026-04-09 Marko Schmellenkamp , Thomas Zeume , Sven Argo , Sandra Kiefer , Cedric Siems , Fynn Stebel

We introduce a new formalisation of languages, called keyboards. We consider a set of elementary operations (writing/erasing a letter, going to the right or to the left,...) and we define a keyboard as a set of finite sequences of such…

形式语言与自动机理论 · 计算机科学 2021-09-07 Yoan Géran , Bastien Laboureix , Corto Mascle , Valentin D. Richard

An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the Regular and Grammar constraints specify constraints in terms of the languages accepted by an automaton and a…

人工智能 · 计算机科学 2009-03-04 George Katsirelos , Nina Narodytska , Toby Walsh

We consider languages defined by signed grammars which are similar to context-free grammars except productions with signs associated to them are allowed. As a consequence, the words generated also have signs. We use the structure of the…

形式语言与自动机理论 · 计算机科学 2023-09-19 Ömer Eğecioğlu , Benedek Nagy

One of the central aspects of contextualised language models is that they should be able to distinguish the meaning of lexically ambiguous words by their contexts. In this paper we investigate the extent to which the contextualised…

计算与语言 · 计算机科学 2021-09-30 Janosch Haber , Massimo Poesio

For families of all theories of arbitrary given languages we describe ranks and degrees. In particular, we characterize (non-)totally transcendental families. We apply these characterizations for the families of all theories of given…

逻辑 · 数学 2019-01-30 Nurlan Markhabatov , Sergey Sudoplatov

Context-free S grammars are introduced, for arbitrary (storage) type S, as a uniform framework for recursion-based grammars, automata, and transducers, viewed as programs. To each occurrence of a nonterminal of a context-free S grammar an…

形式语言与自动机理论 · 计算机科学 2014-08-05 Joost Engelfriet

Word class flexibility refers to the phenomenon whereby a single word form is used across different grammatical categories. Extensive work in linguistic typology has sought to characterize word class flexibility across languages, but…

计算与语言 · 计算机科学 2020-09-22 Bai Li , Guillaume Thomas , Yang Xu , Frank Rudzicz

The use of terms from natural and social scientific titles and abstracts is studied from the perspective of sublanguages and their specialized dictionaries. Different notions of sublanguage distinctiveness are explored. Objective methods…

cmp-lg · 计算机科学 2008-02-03 Robert M. Losee , Stephanie W. Haas

In this article, we present a fresh perspective on language, combining ideas from various sources, but mixed in a new synthesis. As in the minimalist program, the question is whether we can formulate an elegant formalism, a universal…

计算与语言 · 计算机科学 2023-03-10 Loe Feijs