# Questions tagged [finite-state-machine]

For questions about finite state machine, which is a mathematical model of computation.

45 questions
Filter by
Sorted by
Tagged with
8 views

### Valid NFA with minimum number of states for set {0, 1} where each 0 is followed by a 1

Construct a Non-deterministic Finite State Automaton (NFA) with minimum number of states for the set of strings over {0, 1} such that each 0 in the string is immediately followed by a 1. This is the ...
30 views

### Floyd Invariant Principle on a deck of cards [closed]

The below problem has been taken from Mathematics for Computer Science (MIT Opencourseware https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-...
26 views

380 views

### How to read FSM diagram?

How do I read this? I have searched everywhere and I don't know how to read it. It is a machine for calculating if a binary number is divisible by 5... apparently... (I don't know how to read it, ...
45 views

### Construct Phrase Structure Gammar G

I have the following question, construct the phrase structure grammar G such that the language $L(G)$ is equal to language $L=\{x^n y^m | n \geq 2, m =2k, k\in \mathbb{ N}\}$ From my basic ...
159 views

### How math deals with state or “algebra of sequential logic”

Boolean algebra is well-studied and you could easily find a lot of introductory materials on different operators, properties, how eveything is nicely related to the algebra of sets, and so on. Coming ...
214 views

### What is the difference between a “Weakly increasing variables” and “not being a decreasing variable”?

I was reading subsection 5.4.6 about state machine derived variables in Mathematics for Computer Science, after defining weakly/strictly increasing and decreasing variables, this was in the footnote. ...
61 views

### What are my further steps in creating a deterministic finite automaton?

I have to create a Deterministic finite automaton that handles the regular language (0100 + 0001 + 01)* and has a parity bit at the end to make sure 0's are even. To clarify what I mean by even 0 ...