English
Related papers

Related papers: Classifying Words with 3-sort Automata

200 papers

This paper (cmp-lg/yymmnnn) has been accepted for publication in the student session of EACL-95. It outlines ongoing work using statistical and unsupervised neural network methods for clustering words in untagged corpora. Such approaches…

cmp-lg · Computer Science 2008-02-03 Christopher C. Huckle

This paper presents an approach for the automatic acquisition of linguistic knowledge from unstructured data. The acquired knowledge is represented in the lexical knowledge representation language DATR. A set of transformation rules that…

cmp-lg · Computer Science 2008-02-03 Petra Barg

This paper studies the complexity of operations on finite automata and the complexity of their decision problems when the alphabet is unary. Let $n$ denote the maximum of the number of states of the input finite automata considered in the…

Formal Languages and Automata Theory · Computer Science 2024-12-16 Wojciech Czerwiński , Maciej Dębski , Tomasz Gogasz , Gordon Hoi , Sanjay Jain , Michał Skrzypczak , Frank Stephan , Christopher Tan

It is known that 2-state binary and 3-state unary probabilistic finite automata and 2-state unary quantum finite automata recognize uncountably many languages with cutpoints. These results have been obtained by associating each recognized…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Aleksejs Naumovs , Maksims Dimitrijevs , Abuzer Yakaryılmaz

The theory of abstract argumentation frameworks (afs) has, in the main, focused on finite structures, though there are many significant contexts where argumentation can be regarded as a process involving infinite objects. To address this…

Artificial Intelligence · Computer Science 2018-10-12 Pietro Baroni , Federico Cerutti , Paul E. Dunne , Massimiliano Giacomin

This paper is the extended version of On the Complexity of Infinite Advice Strings (ICALP 2018). We investigate a notion of comparison between infinite strings. In a general way, if M is a computation model (e.g. Turing machines) and C a…

Formal Languages and Automata Theory · Computer Science 2018-07-19 Gaëtan Douéneau-Tabot

An automaton is history-deterministic if its nondeterminism can be resolved on the fly, only using the prefix of the word read so far. This mild form of nondeterminism has attracted particular attention for its applications in synthesis…

Formal Languages and Automata Theory · Computer Science 2026-05-28 Udi Boker , Thomas A. Henzinger , Karoliina Lehtinen , Keya Prakash

We describe an incremental unsupervised procedure to learn words from transcribed continuous speech. The algorithm is based on a conservative and traditional statistical model, and results of empirical tests show that it is competitive with…

Computation and Language · Computer Science 2007-05-23 Anand Venkataraman

This paper establishes logical and expression-based characterizations for the class of languages recognized by nondeterministic register automata with guessing (NRA) over infinite alphabets. We introduce Scoped MSO, a logic featuring a…

Logic in Computer Science · Computer Science 2026-02-16 Radosław Piórkowski

Verbs occur in different syntactic environments, or frames. We investigate whether artificial neural networks encode grammatical distinctions necessary for inferring the idiosyncratic frame-selectional properties of verbs. We introduce five…

Computation and Language · Computer Science 2018-11-28 Katharina Kann , Alex Warstadt , Adina Williams , Samuel R. Bowman

This paper investigates the ability of artificial neural networks to judge the grammatical acceptability of a sentence, with the goal of testing their linguistic competence. We introduce the Corpus of Linguistic Acceptability (CoLA), a set…

Computation and Language · Computer Science 2019-10-03 Alex Warstadt , Amanpreet Singh , Samuel R. Bowman

We present PAPNI, a passive automata learning algorithm capable of learning deterministic context-free grammars, which are modeled with visibly deterministic pushdown automata. PAPNI is a generalization of RPNI, a passive automata learning…

Formal Languages and Automata Theory · Computer Science 2025-08-25 Edi Muškardin , Tamim Burgstaller

Non-sentential utterances (NSUs) are utterances that lack a complete sentential form but whose meaning can be inferred from the dialogue context, such as "OK", "where?", "probably at his apartment". The interpretation of non-sentential…

Computation and Language · Computer Science 2015-11-24 Paolo Dragone

For text analysis, one often resorts to a lossy representation that either completely ignores word order or embeds each word as a low-dimensional dense feature vector. In this paper, we propose convolutional Poisson factor analysis (CPFA)…

Machine Learning · Statistics 2019-05-15 Chaojie Wang , Bo Chen , Sucheng Xiao , Mingyuan Zhou

This paper addresses the problem of mapping natural language sentences to lambda-calculus encodings of their meaning. We describe a learning algorithm that takes as input a training set of sentences labeled with expressions in the lambda…

Computation and Language · Computer Science 2012-07-09 Luke S. Zettlemoyer , Michael Collins

We present a formal and constructive simulation framework for nondeterministic finite automata (NFAs) using time-shared, depth-unrolled feedforward networks (TS-FFNs), i.e., acyclic unrolled computations with shared parameters that are…

Machine Learning · Computer Science 2025-10-13 Sahil Rajesh Dhayalkar

This paper presents statistical language and translation models based on collections of small finite state machines we call ``head automata''. The models are intended to capture the lexical sensitivity of N-gram models and direct…

cmp-lg · Computer Science 2008-02-03 Hiyan Alshawi

We propose an algorithm for schema-based determinization of finite automata on words and of step-wise hedge automata on nested words. The idea is to integrate schema-based cleaning directly into automata determinization. We prove the…

Formal Languages and Automata Theory · Computer Science 2022-09-22 Joachim Niehren , Momar Sakho , Antonio Al Serhali

We develop a general framework for the specification and implementation of systems whose executions are words, or partial orders, over an infinite alphabet. As a model of an implementation, we introduce class register automata, a one-way…

Formal Languages and Automata Theory · Computer Science 2012-01-10 Benedikt Bollig

English proficiency assessments have become a necessary metric for filtering and selecting prospective candidates for both academia and industry. With the rise in demand for such assessments, it has become increasingly necessary to have the…

Computation and Language · Computer Science 2021-12-01 Pakhi Bamdev , Manraj Singh Grover , Yaman Kumar Singla , Payman Vafaee , Mika Hama , Rajiv Ratn Shah