Skip to main content

Questions tagged [regular-language]

Regular languages are formal languages which are recognized by a finite automaton. It is equivalently the languages which are expressible as a regular expression. In addition to these two, there are several other equivalent definitions.

-1 votes
1 answer
38 views

Is a set consisting of strings such that x is of prime length or x is of odd length regular? What about if x is prime length or x is even length? My intuition says no because $L_p = \{x | |x| is prime\...
Elijah Heimsoth's user avatar
3 votes
1 answer
56 views

Is the language {xyx, where x,y are arbitrary strings over {0,1}} a regular set? I'm not sure on this, but I think it is regular. Let $x=\epsilon$, then $xyx = y$ and $y=\{0,1\}^*$.
Elijah Heimsoth's user avatar
1 vote
0 answers
68 views

I've got following statement (as a challenge, not as a hw or something), being told that it's kinda hard to prove it $ L = \lbrace a^m b^n \mid m \neq n^2 \rbrace $ isn't CFL Following statement (...
徳山宏樹's user avatar
0 votes
0 answers
56 views

"For a symbol a, define a+ = {a,aa,...}. Is the language L = {wcwR|w,c ∈ {a,b}+} regular? Here, wR is just w reversed. If your answer is yes, write the equivalent regular expression, and if no, ...
Anne's user avatar
  • 191
2 votes
2 answers
64 views

Consider the language of those $w\in \{a,b,c,d\}^*$ that contain $ab$. Corresponding DFA is (written in SageMath): ...
ploosu2's user avatar
  • 12.7k
0 votes
9 answers
91 views

Fix a finite alphabet $A$. The set of regular languages is the smallest set of languages on $A$ (i.e. subsets $L$ of the free monoid $A^*$) containing $\varnothing$ and the singletons $a$ for $a\in A$ ...
Olivier Bégassat's user avatar
1 vote
1 answer
93 views

I am studying for exams, and previous years had these two problems that I have conflated in the title. Problem 1) For every regular language $ L \subseteq \Sigma^*$ over $\Sigma$, $\mathcal{H}(L)$ is ...
Vicente's user avatar
  • 55
3 votes
1 answer
98 views

Suppose that First-order logic sentence is a string described by the following rules : $[a-z]$ - is a First-order logic sentence if $\phi, \psi$ are First-order logic sentences, then $$(\neg \phi) \...
famesyasd's user avatar
  • 513
0 votes
0 answers
57 views

My professor tends to prove a language L is not regular using contradiction, i.e: Assume L is regular $\implies$ L can be pumped Show that L cannot be pumped Contradiction, so initial assumption is ...
tariqalr's user avatar
2 votes
0 answers
60 views

I was given this problem on regular languages, which I solved, but I was wondering there is another, more elegant way to approach it. I'll share the problem first, along with my solution, and then ...
BigBuckBunny's user avatar
0 votes
0 answers
110 views

These are the two initial DFAs, and I need to construct a DFA that recognizes the intersection of the two languages accepted by the given DFAs, using closure properties. Here is the first DFA: And ...
Fabio's user avatar
  • 9
1 vote
2 answers
81 views

Given the language $A=\{(01)^n|n\in\mathbb{N}\}$. The following attempt for a proof of its irregularity was outlined: "Suppose for the sake of contradiction that $A$ is regular. Thus, it has some ...
Tomasz P's user avatar
0 votes
1 answer
52 views

Prove using the Myhill-Nerode theorem that the language $L = \{xyz| x,y \in\{a,b\}^+\}$ - is not regular My answer: To prove that $L$ is not regular, we need to show that there are infinitely many ...
Encipher's user avatar
  • 237
0 votes
0 answers
27 views

good day. I am very new to automata theory and currently studying by myself. I studied regular and now context free grammar and I believe I may have understood most of it, but I still can't pinpoint ...
Amadeus's user avatar
3 votes
2 answers
159 views

I am looking for a grammar or algorithm to write down what I now call 'metacompositions' (or just compositions of compositions? see https://oeis.org/A133494) of character strings with the absolute ...
Nicolas Couture-Grenier's user avatar

15 30 50 per page
1
2 3 4 5
85