I have to build a f.s.m. for the language $((00)(0+1)^*)+((0+1)^*(110))$ is this correct?
2026-02-22 23:05:58.1771801558
Is this finite state machine correct?
44 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in FORMAL-LANGUAGES
- Simultaneously multiple copies of each of a set of substrings of a string.
- Do these special substring sets form a matroid?
- Exitstance of DPA of L = $\{ww^r\}$
- Automata defined by group presentations.
- Constructing context free grammar with a number constraint to one of the elements in the language
- Converting CFG to a regular expression
- CSG for the language $\{a^{n^2}|n>0\}$
- If true, prove (01+0)*0 = 0(10+0)*, else provide a counter example.
- Proof of "Extension" for Rice's Theorem
- Prove that this sentence is a tautology.
Related Questions in AUTOMATA
- Exitstance of DPA of L = $\{ww^r\}$
- Automata defined by group presentations.
- How to prove convergence of a sequence of binary numbers
- A finite automaton that accepts at least three $a$s and at least two $b$s.
- Is my DFA correct?
- Intersection of two languages (Formal Languages and Automata Theory)
- Is there any universal algorithm converting grammar to Turing Machine?
- Build a Context-Free Grammar for a given language
- Prove that $B = B ^+$ iff $BB \subseteq B$
- Proving a Language is Regular via Automata
Related Questions in FORMAL-GRAMMAR
- Given language, say if it is regular, context-free and proove it.
- Create a grammar for the language $L =\{a^n b^{n/2} c^n\mid n\equiv 0\pmod{2}\}$
- Is this finite state machine correct?
- Given a grammar study its type and the language it generates
- Write grammar for language $L=\bigl\{ba^{2^n}b \mid n\ge 1\bigr\}$
- Proving a Formal Grammar Parses a String.
- Equations on the free monoid??
- What grammar domain is this kind of grammar?
- How to create a string grammar from {(,)}* set?
- How to express a plural of the cardinalities of sets?
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
This automaton (from the second version of your question):
is correct.
As for this automaton (from the first version of your question):
it is not correct, because it accepts $\mathtt{1010}$, which is not in your language. If you are using a nondeterministic automaton anyway, why don't you just split it into either the first expression of the union (which you got right) and the second (which you almost got right, but made a mistake in connecting the two).
I hope this helps $\ddot\smile$
Edit: Updated the answer to match the changed question.