English
Related papers

Related papers: Efficient Decomposition Identification of Determin…

200 papers

An acyclic deterministic finite automaton (ADFA) is a data structure that represents a set of strings (i.e., a dictionary) and facilitates a pattern searching problem of determining whether a given pattern string is present in the…

Data Structures and Algorithms · Computer Science 2024-10-11 Hiroki Shibata , Masakazu Ishihata , Shunsuke Inenaga

A deterministic finite automaton (DFA) is composite if its language can be decomposed into an intersection of languages of smaller DFAs. Otherwise, A is prime. This notion of primality was introduced by Kupferman and Mosheiff in 2013, and…

Formal Languages and Automata Theory · Computer Science 2021-07-13 Ismaël Jecker , Nicolas Mazzocchi , Petra Wolf

Many natural language processing systems operate over tokenizations of text to address the open-vocabulary problem. In this paper, we give and analyze an algorithm for the efficient construction of deterministic finite automata (DFA)…

Formal Languages and Automata Theory · Computer Science 2025-05-27 Martin Berglund , Willeke Martens , Brink van der Merwe

Deterministic finite automata (DFAs) are constructed for various purposes in computational biology. Little attention, however, has been given to the efficient construction of minimal DFAs. In this article, we define simple non-deterministic…

Formal Languages and Automata Theory · Computer Science 2010-12-10 Tobias Marschall

The state complexity of a Deterministic Finite-state automaton (DFA) is the number of states in its minimal equivalent DFA. We study the state complexity of random $n$-state DFAs over a $k$-symbol alphabet, drawn uniformly from the set…

Probability · Mathematics 2013-07-03 Daniel Berend , Aryeh Kontorovich

In this work, we propose Answer-Set Programming (ASP) as a tool for rapid prototyping of dynamic programming algorithms based on tree decompositions. In fact, many such algorithms have been designed, but only a few of them found their way…

Artificial Intelligence · Computer Science 2012-10-09 Bernhard Bliem , Michael Morak , Stefan Woltran

We give algorithms to accelerate the computation of deterministic finite automata (DFA) by calculating the state of a DFA n positions ahead utilizing a reverse scan of the next n characters. Often this requires scanning fewer than n…

Data Structures and Algorithms · Computer Science 2015-01-16 Steven M. Kearns

Linear-time pattern matching engines have seen promising results using Finite Automata (FA) as their computation model. Among different FA variants, deterministic (DFA) and non-deterministic (NFA) are the most commonly used computation…

Performance · Computer Science 2022-10-20 Farzana Ahmed Siddique , Tommy James Tracy , Nathan Brunelle , Kevin Skadron

An index for a finite automaton is a powerful data structure that supports locating paths labeled with a query pattern, thus solving pattern matching on the underlying regular language. In this paper, we solve the long-standing problem of…

Data Structures and Algorithms · Computer Science 2020-07-16 Nicola Cotumaccio , Nicola Prezza

We present an algorithm for regular expression parsing and submatch extraction based on tagged deterministic finite automata. The algorithm works with different disambiguation policies. We give detailed pseudocode for the algorithm,…

Formal Languages and Automata Theory · Computer Science 2026-03-31 Angelo Borsotti , Ulya Trafimovich

Knowledge distillation has become increasingly important in model compression. It boosts the performance of a miniaturized student network with the supervision of the output distribution and feature maps from a sophisticated teacher…

Machine Learning · Computer Science 2020-08-04 Yushuo Guan , Pengyu Zhao , Bingxuan Wang , Yuanxing Zhang , Cong Yao , Kaigui Bian , Jian Tang

Finite automata (FA) are a fundamental computational abstraction that is widely used in practice for various tasks in computer science, linguistics, biology, electrical engineering, and artificial intelligence. Given an input word, an FA…

Artificial Intelligence · Computer Science 2026-04-22 Jaime Cuartas Granada , Alexey Ignatiev , Peter J. Stuckey

Deepfake attribution (DFA) aims to perform multiclassification on different facial manipulation techniques, thereby mitigating the detrimental effects of forgery content on the social order and personal reputations. However, previous…

Computer Vision and Pattern Recognition · Computer Science 2025-05-08 Ming-Hui Liu , Xiao-Qian Liu , Xin Luo , Xin-Shun Xu

We investigate hyper-minimization for deterministic register automata (DRAs). We begin by introducing DRA counterparts of classical notions from deterministic finite automata. Building on these foundations, we present an algorithm for…

Formal Languages and Automata Theory · Computer Science 2026-05-06 Yong Li , Qiyi Tang , Di-De Yen

Unlike unsupervised approaches such as autoencoders that learn to reconstruct their inputs, this paper introduces an alternative approach to unsupervised feature learning called divergent discriminative feature accumulation (DDFA) that…

Neural and Evolutionary Computing · Computer Science 2014-06-11 Paul A. Szerlip , Gregory Morse , Justin K. Pugh , Kenneth O. Stanley

A study of assisted problem solving formalized via decompositions of deterministic finite automata is initiated. The landscape of new types of decompositions of finite automata this study uncovered is presented. Languages with various…

Computational Complexity · Computer Science 2007-07-04 Peter Gaži , Branislav Rovan

We propose a concise function representation based on deterministic finite state automata for exact most probable explanation and constrained optimization tasks in graphical models. We then exploit our concise representation within Bucket…

Artificial Intelligence · Computer Science 2023-05-11 Filippo Bistaffa

The use of well-disentangled representations offers many advantages for downstream tasks, e.g. an increased sample efficiency, or better interpretability. However, the quality of disentangled interpretations is often highly dependent on the…

Machine Learning · Computer Science 2023-03-03 Benjamin Estermann , Roger Wattenhofer

Since autonomous driving systems usually face dynamic and ever-changing environments, continual test-time adaptation (CTTA) has been proposed as a strategy for transferring deployed models to continually changing target domains. However,…

Computer Vision and Pattern Recognition · Computer Science 2024-04-01 Jiayi Ni , Senqiao Yang , Ran Xu , Jiaming Liu , Xiaoqi Li , Wenyu Jiao , Zehui Chen , Yi Liu , Shanghang Zhang

Deep neural networks demonstrate strong performance under aligned training-test distributions. However, real-world test data often exhibit domain shifts. Test-Time Adaptation (TTA) addresses this challenge by adapting the model to test data…

Artificial Intelligence · Computer Science 2025-08-27 Byung-Joon Lee , Jin-Seop Lee , Jee-Hyong Lee