English
Related papers

Related papers: Random Generation of Nondeterministic Finite-State…

200 papers

We give examples of data-generating models under which Breiman's random forest may be extremely slow to converge to the optimal predictor or even fail to be consistent. The evidence provided for these properties is based on mostly intuitive…

Machine Learning · Statistics 2021-12-01 José A. Ferreira

This study addresses the predictive limitation of probabilistic circuits and introduces transformations as a remedy to overcome it. We demonstrate this limitation in robotic scenarios. We motivate that independent component analysis is a…

Machine Learning · Statistics 2023-10-09 Tom Schierenbeck , Vladimir Vutov , Thorsten Dickhaus , Michael Beetz

We develop Clustered Random Forests, a random forests algorithm for clustered data, arising from independent groups that exhibit within-cluster dependence. The leaf-wise predictions for each decision tree making up clustered random forests…

Methodology · Statistics 2026-01-26 Elliot H. Young , Peter Bühlmann

We consider the problem of sampling from a distribution on graphs, specifically when the distribution is defined by an evolving graph model, and consider the time, space and randomness complexities of such samplers. In the standard…

Data Structures and Algorithms · Computer Science 2025-09-03 Guy Even , Reut Levi , Moti Medina , Adi Rosen

The probabilistic reachability problems of nondeterministic systems are studied. Based on the existing studies, the definition of probabilistic reachable sets is generalized by taking into account time-varying target set and obstacle. A…

Systems and Control · Electrical Eng. & Systems 2021-08-10 Wei Liao , Taotao Liang , Xiaohui Wei , Qiaozhi Yin

Reservoir computers (RCs) and recurrent neural networks (RNNs) can mimic any finite-state automaton in theory, and some workers demonstrated that this can hold in practice. We test the capability of generalized linear models, RCs, and Long…

Machine Learning · Computer Science 2019-10-18 S. E. Marzen , J. P. Crutchfield

We study the transport properties of nonautonomous chaotic dynamical systems over a finite time duration. We are particularly interested in those regions that remain coherent and relatively non-dispersive over finite periods of time,…

Dynamical Systems · Mathematics 2015-05-19 Gary Froyland , Naratip Santitissadeekorn , Adam Monahan

The concept of Deterministic Finite Cover Automata (DFCA) was introduced at WIA '98, as a more compact representation than Deterministic Finite Automata (DFA) for finite languages. In some cases representing a finite language,…

Formal Languages and Automata Theory · Computer Science 2014-05-23 Cezar Câmpeanu

Random Forest has become one of the most popular tools for feature selection. Its ability to deal with high-dimensional data makes this algorithm especially useful for studies in neuroimaging and bioinformatics. Despite its popularity and…

Machine Learning · Computer Science 2014-10-13 Ender Konukoglu , Melanie Ganz

Deterministic game-solving algorithms are conventionally analyzed in the light of their average-case complexity against a distribution of random game-trees, where leaf values are independently sampled from a fixed distribution. This…

Artificial Intelligence · Computer Science 2026-02-06 Raphaël Boige , Amine Boumaza , Bruno Scherrer

We consider the computability and complexity of decision questions for Probabilistic Finite Automata (PFA) with sub-exponential ambiguity. We show that the emptiness problem for strict and non-strict cut-points of polynomially ambiguous…

Formal Languages and Automata Theory · Computer Science 2020-07-30 Paul C. Bell

This short note aims at proving that the isolation problem is undecidable for probabilistic automata with only one probabilistic transition. This problem is known to be undecidable for general probabilistic automata, without restriction on…

Formal Languages and Automata Theory · Computer Science 2011-04-18 Nathanaël Fijalkow , Hugo Gimbert , Youssouf Oualhadj

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

Semi-automata are abstractions of electronic devices that are deterministic finite-state machines having inputs but no outputs. Generalized semiautomata are obtained from stochastic semiautomata by dropping the restrictions imposed by…

Formal Languages and Automata Theory · Computer Science 2020-04-21 Merve Nur Cakir , Karl-Heinz Zimmermann

Nondeterministic automata may be viewed as succinct programs implementing deterministic automata, i.e. complete specifications. Converting a given deterministic automaton into a small nondeterministic one is known to be computationally very…

Formal Languages and Automata Theory · Computer Science 2021-07-12 Robert Samuel Ralph Myers , Henning Urbat

In this paper, a novel multiagent based state transition optimization algorithm with linear convergence rate named MASTA is constructed. It first generates an initial population randomly and uniformly. Then, it applies the basic state…

Optimization and Control · Mathematics 2021-03-08 Xiaojun Zhou

A fully nonparametric approach for making probabilistic predictions in multi-response regression problems is introduced. Random forests are used as marginal models for each response variable and, as novel contribution of the present work,…

Machine Learning · Computer Science 2022-10-12 Marius Hofert , Avinash Prasad , Mu Zhu

Grammatical inference consists in learning a language or a grammar from data. In this paper, we consider a number of models for inferring a non-deterministic finite automaton (NFA) with 3 sorts of states, that must accept some words, and…

Formal Languages and Automata Theory · Computer Science 2024-01-03 Tomasz Jastrząb , Frédéric Lardeux , Eric Monfroy

Probabilistic B\"uchi Automata (PBA) are randomized, finite state automata that process input strings of infinite length. Based on the threshold chosen for the acceptance probability, different classes of languages can be defined. In this…

Formal Languages and Automata Theory · Computer Science 2015-07-01 Rohit Chadha , A. Prasad Sistla , Mahesh Viswanathan

Existing approaches to the synthesis of reactive systems typically involve the construction of transition systems such as Mealy automata. However, in order to obtain a succinct representation of the desired system, structured programs can…

Logic in Computer Science · Computer Science 2013-03-05 Benedikt Brütsch