INFIX-FREE REGULAR EXPRESSIONS AND LANGUAGES

2006 ◽  
Vol 17 (02) ◽  
pp. 379-393 ◽  
Author(s):  
YO-SUB HAN ◽  
YAJUN WANG ◽  
DERICK WOOD
Keyword(s):  
Polynomial Time ◽  
Regular Language ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Regular Languages ◽  
Finite State Automaton ◽  
Primality Test ◽  
Finite State ◽  
State Pair ◽  
Free Decomposition

We study infix-free regular languages. We observe the structural properties of finite-state automata for infix-free languages and develop a polynomial-time algorithm to determine infix-freeness of a regular language using state-pair graphs. We consider two cases: 1) A language is specified by a nondeterministic finite-state automaton and 2) a language is specified by a regular expression. Furthermore, we examine the prime infix-free decomposition of infix-free regular languages and design an algorithm for the infix-free primality test of an infix-free regular language. Moreover, we show that we can compute the prime infix-free decomposition in polynomial time. We also demonstrate that the prime infix-free decomposition is not unique.

scholarly journals IT IS NL-COMPLETE TO DECIDE WHETHER A HAIRPIN COMPLETION OF REGULAR LANGUAGES IS REGULAR

2011 ◽  
Vol 22 (08) ◽  
pp. 1813-1828 ◽  
Author(s):  
VOLKER DIEKERT ◽  
STEFFEN KOPECKI
Keyword(s):  
Polynomial Time ◽  
Dna Computing ◽  
Regular Language ◽  
Decision Problem ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Complexity Bound ◽  
The One ◽  
Context Free ◽  
Hairpin Formation

The hairpin completion is an operation on formal languages which is inspired by the hairpin formation in biochemistry. Hairpin formations occur naturally within DNA-computing. It has been known that the hairpin completion of a regular language is linear context-free, but not regular, in general. However, for some time it is was open whether the regularity of the hairpin completion of a regular language is decidable. In 2009 this decidability problem has been solved positively in [5] by providing a polynomial time algorithm. In this paper we improve the complexity bound by showing that the decision problem is actually NL-complete. This complexity bound holds for both, the one-sided and the two-sided hairpin completions.

ORDINAL AUTOMATA AND CANTOR NORMAL FORM

2012 ◽  
Vol 23 (01) ◽  
pp. 87-98
Author(s):  
ZOLTÁN ÉSIK
Keyword(s):  
Normal Form ◽  
Polynomial Time ◽  
Regular Language ◽  
Finite Automata ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Order Type ◽  
Deterministic Finite Automaton ◽  
Lexicographic Ordering ◽  
Language L

It is known that an ordinal is the order type of the lexicographic ordering of a regular language if and only if it is less than ωω. We design a polynomial time algorithm that constructs, for each well-ordered regular language L with respect to the lexicographic ordering, given by a deterministic finite automaton, the Cantor Normal Form of its order type. It follows that there is a polynomial time algorithm to decide whether two deterministic finite automata accepting well-ordered regular languages accept isomorphic languages. We also give estimates on the state complexity of the smallest "ordinal automaton" representing an ordinal less than ωω, together with an algorithm that translates each such ordinal to an automaton.

OVERLAP-FREE LANGUAGES AND SOLID CODES

2011 ◽  
Vol 22 (05) ◽  
pp. 1197-1209 ◽  
Author(s):  
YO-SUB HAN ◽  
KAI SALOMAA
Keyword(s):  
Polynomial Time ◽  
Data Transmission ◽  
Efficient Algorithm ◽  
Formal Language ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Regular Languages ◽  
Nice Property ◽  
Decomposition Problem ◽  
Context Free

Solid codes have a nice property called synchronization property, which is useful in data transmission. The property is derived from infix-freeness and overlap-freeness of solid codes. Since a code is a language, we look at solid codes from formal language viewpoint. In particular, we study regular solid codes (that are solid codes and regular). We first tackle the solid code decidability problem for regular languages and propose a polynomial time algorithm. We, then, investigate the decidability of the overlap-freeness property and show that it is decidable for regular languages but is undecidable for context-free languages. Then, we study the prime solid code decomposition of regular solid codes and propose an efficient algorithm for the prime solid code decomposition problem. We also demonstrate that a solid code does not always have a unique prime solid code decomposition.

Learning Importance of Preferences

10.29007/v68w ◽  
2018 ◽  
Author(s):  
Ying Zhu ◽  
Mirek Truszczynski
Keyword(s):  
Polynomial Time ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Scoring Rules ◽  
Np Hard ◽  
Individual Preferences

We study the problem of learning the importance of preferences in preference profiles in two important cases: when individual preferences are aggregated by the ranked Pareto rule, and when they are aggregated by positional scoring rules. For the ranked Pareto rule, we provide a polynomial-time algorithm that finds a ranking of preferences such that the ranked profile correctly decides all the examples, whenever such a ranking exists. We also show that the problem to learn a ranking maximizing the number of correctly decided examples (also under the ranked Pareto rule) is NP-hard. We obtain similar results for the case of weighted profiles when positional scoring rules are used for aggregation.

Sign in / Sign up

Export Citation Format

Share Document