中文
相关论文

相关论文: Quotient Complexities of Atoms in Regular Ideal La…

200 篇论文

An atom of a regular language L with n (left) quotients is a non-empty intersection of uncomplemented or complemented quotients of L, where each of the n quotients appears in a term of the intersection. The quotient complexity of L, which…

形式语言与自动机理论 · 计算机科学 2012-03-09 Janusz Brzozowski , Hellis Tamm

We study the state complexity of regular operations in the class of ideal languages. A language L over an alphabet Sigma is a right (left) ideal if it satisfies L = L Sigma* (L = Sigma* L). It is a two-sided ideal if L = Sigma* L Sigma *,…

形式语言与自动机理论 · 计算机科学 2009-08-17 J. Brzozowski , G. Jirásková , B. Li

A right ideal is a language L over an alphabet A that satisfies L = LA*. We show that there exists a stream (sequence) (R_n : n \ge 3) of regular right ideal languages, where R_n has n left quotients and is most complex under the following…

形式语言与自动机理论 · 计算机科学 2013-11-19 Janusz Brzozowski , Gareth Davies

A right ideal (left ideal, two-sided ideal) is a non-empty language $L$ over an alphabet $\Sigma$ such that $L=L\Sigma^*$ ($L=\Sigma^*L$, $L=\Sigma^*L\Sigma^*$). Let $k=3$ for right ideals, 4 for left ideals and 5 for two-sided ideals. We…

形式语言与自动机理论 · 计算机科学 2023-06-22 Janusz Brzozowski , Sylvie Davies , Bo Yang Victor Liu

We relate two measures of complexity of regular languages. The first is syntactic complexity, that is, the cardinality of the syntactic semigroup of the language. That semigroup is isomorphic to the semigroup of transformations of states…

形式语言与自动机理论 · 计算机科学 2013-05-24 Janusz Brzozowski , Gareth Davies

The past research on the state complexity of operations on regular languages is examined, and a new approach based on an old method (derivatives of regular expressions) is presented. Since state complexity is a property of a language, it is…

形式语言与自动机理论 · 计算机科学 2009-07-28 Janusz Brzozowski

We study various complexity properties of suffix-free regular languages. The quotient complexity of a regular language $L$ is the number of left quotients of $L$; this is the same as the state complexity of $L$. A regular language $L'$ is a…

形式语言与自动机理论 · 计算机科学 2016-12-13 Janusz Brzozowski , Marek Szykuła

The atoms of a regular language are non-empty intersections of complemented and uncomplemented quotients of the language. Tight upper bounds on the number of atoms of a language and on the quotient complexities of atoms are known. We…

形式语言与自动机理论 · 计算机科学 2014-05-23 Janusz Brzozowski , Gareth Davies

We survey recent results concerning the complexity of regular languages represented by their minimal deterministic finite automata. In addition to the quotient complexity of the language -- which is the number of its (left) quotients, and…

形式语言与自动机理论 · 计算机科学 2017-02-17 Janusz A. Brzozowski

The quotient complexity, also known as state complexity, of a regular language is the number of distinct left quotients of the language. The quotient complexity of an operation is the maximal quotient complexity of the language resulting…

形式语言与自动机理论 · 计算机科学 2010-12-20 Janusz Brzozowski , Bo Liu

The quotient complexity of a regular language L is the number of left quotients of L, which is the same as the state complexity of L. Suppose that L and L' are binary regular languages with quotient complexities m and n, and that the…

形式语言与自动机理论 · 计算机科学 2013-10-08 Jason Bell , Janusz Brzozowski , Nelma Moreira , Rogério Reis

A language $L$ over an alphabet $\Sigma$ is suffix-convex if, for any words $x,y,z\in\Sigma^*$, whenever $z$ and $xyz$ are in $L$, then so is $yz$. Suffix-convex languages include three special cases: left-ideal, suffix-closed, and…

形式语言与自动机理论 · 计算机科学 2016-10-05 Janusz Brzozowski , Corwin Sinnamom

A language $L$ is the orthogonal catenation of languages $L_1$ and $L_2$ if every word of $L$ can be written in a unique way as a catenation of a word in $L_1$ and a word in $L_2$. We establish a tight bound for the state complexity of…

形式语言与自动机理论 · 计算机科学 2009-04-23 Mark Daley , Michael Domaratzki , Kai Salomaa

Atoms of a (regular) language $L$ were introduced by Brzozowski and Tamm in 2011 as intersections of complemented and uncomplemented quotients of $L$. They derived tight upper bounds on the complexity of atoms in 2013. In 2014, Brzozowski…

形式语言与自动机理论 · 计算机科学 2015-06-03 Szabolcs Ivan

A language $L$ over an alphabet $\Sigma$ is prefix-convex if, for any words $x,y,z\in\Sigma^*$, whenever $x$ and $xyz$ are in $L$, then so is $xy$. Prefix-convex languages include right-ideal, prefix-closed, and prefix-free languages. We…

形式语言与自动机理论 · 计算机科学 2016-06-27 Janusz Brzozowski , Corwin Sinnamon

The state complexity of a regular language is the number of states in a minimal deterministic finite automaton accepting the language. The syntactic complexity of a regular language is the cardinality of its syntactic semigroup. The…

形式语言与自动机理论 · 计算机科学 2017-01-16 Janusz A. Brzozowski , Marek Szykuła , Yuli Ye

The state complexity of a regular language is the number of states in the minimal deterministic automaton accepting the language. The syntactic complexity of a regular language is the cardinality of its syntactic semigroup. The syntactic…

形式语言与自动机理论 · 计算机科学 2010-10-19 Janusz Brzozowski , Yuli Ye

A language L is prefix-free if, whenever words u and v are in L and u is a prefix of v, then u=v. Suffix-, factor-, and subword-free languages are defined similarly, where "subword" means "subsequence". A language is bifix-free if it is…

形式语言与自动机理论 · 计算机科学 2011-05-13 Janusz Brzozowski , Galina Jirásková , Baiyu Li , Joshua Smith

We associate lattices to the sets of unions and intersections of left and right quotients of a regular language. For both unions and intersections, we show that the lattices we produce using left and right quotients are dual to each other.…

形式语言与自动机理论 · 计算机科学 2023-09-07 Jason Bell , Daniel Smertnig , Hellis Tamm

A language L is prefix-closed if, whenever a word w is in L, then every prefix of w is also in L. We define suffix-, factor-, and subword-closed languages in the same way, where by subword we mean subsequence. We study the quotient…

形式语言与自动机理论 · 计算机科学 2015-05-14 J. Brzozowski , G. Jirásková , C. Zou
‹ 上一页 1 2 3 10 下一页 ›