scholarly journals Efficient Algorithms for Computing the Inner Edit Distance of a Regular Language via Transducers

Algorithms ◽  
2018 ◽  
Vol 11 (11) ◽  
pp. 165
Author(s):  
Lila Kari ◽  
Stavros Konstantinidis ◽  
Steffen Kopecki ◽  
Meng Yang
Keyword(s):  
Computational Linguistics ◽  
Error Detection ◽  
Finite Automaton ◽  
Regular Language ◽  
Edit Distance ◽  
Efficient Algorithms ◽  
Performance Tests ◽  
Error Detecting ◽  
The Given ◽  
Nondeterministic Finite Automaton

The concept of edit distance and its variants has applications in many areas such as computational linguistics, bioinformatics, and synchronization error detection in data communications. Here, we revisit the problem of computing the inner edit distance of a regular language given via a Nondeterministic Finite Automaton (NFA). This problem relates to the inherent maximal error-detecting capability of the language in question. We present two efficient algorithms for solving this problem, both of which execute in time O ( r 2 n 2 d ) , where r is the cardinality of the alphabet involved, n is the number of transitions in the given NFA, and d is the computed edit distance. We have implemented one of the two algorithms and present here a set of performance tests. The correctness of the algorithms is based on the connection between word distances and error detection and the fact that nondeterministic transducers can be used to represent the errors (resp., edit operations) involved in error-detection (resp., in word distances).

scholarly journals State Complexity of Neighbourhoods and Approximate Pattern Matching

2018 ◽  
Vol 29 (02) ◽  
pp. 315-329 ◽  
Author(s):  
Timothy Ng ◽  
David Rappaport ◽  
Kai Salomaa
Keyword(s):  
Lower Bound ◽  
Pattern Matching ◽  
Finite Automaton ◽  
The State ◽  
Worst Case ◽  
State Complexity ◽  
Approximate Pattern Matching ◽  
The Given ◽  
Nondeterministic Finite Automaton ◽  
Distance Formula

The neighbourhood of a language [Formula: see text] with respect to an additive distance consists of all strings that have distance at most the given radius from some string of [Formula: see text]. We show that the worst case deterministic state complexity of a radius [Formula: see text] neighbourhood of a language recognized by an [Formula: see text] state nondeterministic finite automaton [Formula: see text] is [Formula: see text]. In the case where [Formula: see text] is deterministic we get the same lower bound for the state complexity of the neighbourhood if we use an additive quasi-distance. The lower bound constructions use an alphabet of size linear in [Formula: see text]. We show that the worst case state complexity of the set of strings that contain a substring within distance [Formula: see text] from a string recognized by [Formula: see text] is [Formula: see text].

Parallel Algorithms for Minimal Nondeterministic Finite Automata Inference

2021 ◽  
Vol 178 (3) ◽  
pp. 203-227
Author(s):  
Tomasz Jastrzab ◽  
Zbigniew J. Czech ◽  
Wojciech Wieczorek
Keyword(s):  
Parallel Algorithms ◽  
Constraint Satisfaction ◽  
Finite Automaton ◽  
Regular Language ◽  
Finite Automata ◽  
Constraint Satisfaction Problem ◽  
Computational Experiments ◽  
Learning Sample ◽  
Automata Inference ◽  
Nondeterministic Finite Automaton

The goal of this paper is to develop the parallel algorithms that, on input of a learning sample, identify a regular language by means of a nondeterministic finite automaton (NFA). A sample is a pair of finite sets containing positive and negative examples. Given a sample, a minimal NFA that represents the target regular language is sought. We define the task of finding an NFA, which accepts all positive examples and rejects all negative ones, as a constraint satisfaction problem, and then propose the parallel algorithms to solve the problem. The results of comprehensive computational experiments on the variety of inference tasks are reported. The question of minimizing an NFA consistent with a learning sample is computationally hard.

The Effect of Inlet Distortion on the Performance Characteristics of a Centrifugal Compressor

1983 ◽  
Vol 105 (2) ◽  
pp. 223-230 ◽  
Author(s):  
I. Ariga ◽  
N. Kasai ◽  
S. Masuda ◽  
Y. Watanabe ◽  
I. Watanabe
Keyword(s):  
Centrifugal Compressor ◽  
Total Pressure ◽  
Performance Characteristics ◽  
Performance Tests ◽  
Velocity Measurements ◽  
Test Rig ◽  
Low Speed ◽  
Inlet Distortion ◽  
Surge Margin ◽  
The Given

The present paper concerns itself with the effects of total pressure (and thus velocity) distortion on performance characteristics and surge margin of centrifugal compressors. Both radial and circumferential distortions were investigated. The performance tests as well as the velocity measurements within the impeller passages were carried out with a low-speed compressor test rig with the inlet honeycomb as the distortion generators and compared with the case of “no distortion” as a datum. The results indicated that the inlet distortion exerted unfavorable influences on the efficiency and the surge margin of the given compressor, though the influence of the radial distortion was much stronger than that of the circumferential one. Various distortion indices were further examined in order to correlate the performance to the inlet distortion.

A Model of Secure Functioning of Computer Systems

2021 ◽  
Vol 12 (3) ◽  
pp. 150-156
Author(s):  
A. V. Galatenko ◽  
◽  
V. A. Kuzovikhina ◽  
Keyword(s):  
Lower Bound ◽  
Computer System ◽  
Finite Automaton ◽  
Nonnegative Integer ◽  
The Other ◽  
Shannon Function ◽  
Security Breaches ◽  
System Functioning ◽  
The Cost ◽  
The Given

We propose an automata model of computer system security. A system is represented by a finite automaton with states partitioned into two subsets: "secure" and "insecure". System functioning is secure if the number of consecutive insecure states is not greater than some nonnegative integer k. This definition allows one to formally reflect responsiveness to security breaches. The number of all input sequences that preserve security for the given value of k is referred to as a k-secure language. We prove that if a language is k-secure for some natural and automaton V, then it is also k-secure for any 0 < k < k and some automaton V = V (k). Reduction of the value of k is performed at the cost of amplification of the number of states. On the other hand, for any non-negative integer k there exists a k-secure language that is not k"-secure for any natural k" > k. The problem of reconstruction of a k-secure language using a conditional experiment is split into two subcases. If the cardinality of an input alphabet is bound by some constant, then the order of Shannon function of experiment complexity is the same for al k; otherwise there emerges a lower bound of the order nk.

MAGIC NUMBERS FOR SYMMETRIC DIFFERENCE NFAS

2005 ◽  
Vol 16 (05) ◽  
pp. 1027-1038 ◽  
Author(s):  
LYNETTE VAN ZIJL
Keyword(s):  
Finite Automaton ◽  
Finite Automata ◽  
Symmetric Difference ◽  
Magic Numbers ◽  
Deterministic Finite Automaton ◽  
Nondeterministic Finite Automata ◽  
Binary Case ◽  
Nondeterministic Finite Automaton

Iwama et al. showed that there exists an n-state binary nondeterministic finite automaton such that its equivalent minimal deterministic finite automaton has exactly 2n - α states, for all n ≥ 7 and 5 ≤ α ≤ 2n-2, subject to certain coprimality conditions. We investigate the same question for both unary and binary symmetric difference nondeterministic finite automata. In the binary case, we show that for any n ≥ 4, there is an n-state symmetric difference nondeterministic finite automaton for which the equivalent minimal deterministic finite automaton has 2n - 1 + 2k - 1 - 1 states, for 2 < k ≤ n - 1. In the unary case, we consider a large practical subclass of unary symmetric difference nondeterministic finite automata: for all n ≥ 2, we argue that there are many values of α such that there is no n-state unary symmetric difference nondeterministic finite automaton with an equivalent minimal deterministic finite automaton with 2n - α states, where 0 < α < 2n - 1. For each n ≥ 2, we quantify such values of α precisely.

THE EDIT-DISTANCE BETWEEN A REGULAR LANGUAGE AND A CONTEXT-FREE LANGUAGE

2013 ◽  
Vol 24 (07) ◽  
pp. 1067-1082 ◽  
Author(s):  
YO-SUB HAN ◽  
SANG-KI KO ◽  
KAI SALOMAA
Keyword(s):  
Regular Language ◽  
Edit Distance ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
The Other ◽  
Optimal Alignment ◽  
Worst Case ◽  
Context Free Language ◽  
Context Free ◽  
Free Language

The edit-distance between two strings is the smallest number of operations required to transform one string into the other. The distance between languages L1and L2is the smallest edit-distance between string wi∈ Li, i = 1, 2. We consider the problem of computing the edit-distance of a given regular language and a given context-free language. First, we present an algorithm that finds for the languages an optimal alignment, that is, a sequence of edit operations that transforms a string in one language to a string in the other. The length of the optimal alignment, in the worst case, is exponential in the size of the given grammar and finite automaton. Then, we investigate the problem of computing only the edit-distance of the languages without explicitly producing an optimal alignment. We design a polynomial time algorithm that calculates the edit-distance based on unary homomorphisms.

STATE COMPLEXITY OF ADDITIVE WEIGHTED FINITE AUTOMATA

2007 ◽  
Vol 18 (06) ◽  
pp. 1407-1416 ◽  
Author(s):  
KAI SALOMAA ◽  
PAUL SCHOFIELD
Keyword(s):  
Upper Bound ◽  
Finite Automaton ◽  
Regular Language ◽  
Finite Automata ◽  
The State ◽  
Deterministic Finite Automata ◽  
State Complexity ◽  
Weighted Finite Automata

It is known that the neighborhood of a regular language with respect to an additive distance is regular. We introduce an additive weighted finite automaton model that provides a conceptually simple way to reprove this result. We consider the state complexity of converting additive weighted finite automata to deterministic finite automata. As our main result we establish a tight upper bound for the state complexity of the conversion.

scholarly journals State Complexity of Suffix Distance

2019 ◽  
Vol 30 (06n07) ◽  
pp. 1197-1216
Author(s):  
Timothy Ng ◽  
David Rappaport ◽  
Kai Salomaa
Keyword(s):  
Lower Bound ◽  
Finite Automaton ◽  
Regular Language ◽  
Upper Bounds ◽  
The State ◽  
Deterministic Finite Automaton ◽  
Tight Bound ◽  
State Complexity

The neighbourhood of a regular language with respect to the prefix, suffix and subword distance is always regular and a tight bound for the state complexity of prefix distance neighbourhoods is known. We give upper bounds for the state complexity of the neighbourhood of radius [Formula: see text] of an [Formula: see text]-state deterministic finite automaton language with respect to the suffix distance and the subword distance, respectively. For restricted values of [Formula: see text] and [Formula: see text] we give a matching lower bound for the state complexity of suffix distance neighbourhoods.

SIMULATIONS OF UNARY ONE-WAY MULTI-HEAD FINITE AUTOMATA

2014 ◽  
Vol 25 (07) ◽  
pp. 877-896 ◽  
Author(s):  
MARTIN KUTRIB ◽  
ANDREAS MALCHER ◽  
MATTHIAS WENDLANDT
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Finite Automaton ◽  
Finite Automata ◽  
Upper And Lower Bounds ◽  
Unary Languages ◽  
Order Of Magnitude ◽  
Simulation Results ◽  
Special Case ◽  
Nondeterministic Finite Automaton

We investigate the descriptional complexity of deterministic one-way multi-head finite automata accepting unary languages. It is known that in this case the languages accepted are regular. Thus, we study the increase of the number of states when an n-state k-head finite automaton is simulated by a classical (one-head) deterministic or nondeterministic finite automaton. In the former case upper and lower bounds that are tight in the order of magnitude are shown. For the latter case we obtain an upper bound of O(n2k) and a lower bound of Ω(nk) states. We investigate also the costs for the conversion of one-head nondeterministic finite automata to deterministic k-head finite automata, that is, we trade nondeterminism for heads. In addition, we study how the conversion costs vary in the special case of finite and, in particular, of singleton unary lanuages. Finally, as an application of the simulation results, we show that decidability problems for unary deterministic k-head finite automata such as emptiness or equivalence are LOGSPACE-complete.

scholarly journals The Effect of Inlet Distortion on the Performance Characteristics of a Centrifugal Compressor

1982 ◽  
Author(s):  
I. Ariga ◽  
N. Kasai ◽  
S. Masuda ◽  
Y. Watanabe ◽  
I. Watanabe
Keyword(s):  
Centrifugal Compressor ◽  
Total Pressure ◽  
Performance Characteristics ◽  
Performance Tests ◽  
Velocity Measurements ◽  
Test Rig ◽  
Low Speed ◽  
Inlet Distortion ◽  
Surge Margin ◽  
The Given

The present paper concerns itself with the effects of total pressure (and thus velocity) distortion on performance characteristics and surge margin of centrifugal compressors. Both radial and circumferential distortions were investigated. The performance tests as well as the velocity measurements within the impeller passages were carried out with a low speed compressor test rig with the inlet honeycomb as the distortion generators and compared with the case of “no distortion” as a datum. The results indicated that the inlet distortion exerted unfavorable influences on the efficiency and the surge margin of the given compressor, though the influence of the radial distortion was much stronger than that of the circumferential one. Various distortion indices were further examined in order to correlate the performance to the inlet distortion.

Sign in / Sign up

Export Citation Format

Share Document