How Can a Finite State Machine Validate a Language Based on Bitwise Addition?

  • Thread starter Thread starter MalickT
  • Start date Start date
  • Tags Tags
    Machine State
AI Thread Summary
The discussion revolves around creating a finite state machine (FSM) to validate a language defined by bitwise addition, where strings are accepted only if the sum of the first two rows equals the third row. The alphabet consists of 3-bit binary strings, and examples illustrate valid strings based on this addition rule. Participants express confusion about how to implement an FSM for this task, with one suggesting a method of checking if a string belongs to the language by subtracting letters from the input. The need for a detailed explanation of FSM construction is emphasized, as the assignment requires proving the language's regularity through this method. The conversation highlights the challenge of applying FSM principles to this specific language validation problem.
MalickT
Messages
4
Reaction score
0
I have alphabeth {000, 001, 010, 011, 100, 101, 110, 111}
There is a langugage L. Strings that belong in this langugage only when 1-st bitrow + 2nd bitrow = 3-rd bitrow
For example: a 3 letter word "001100110" belongs in the language cause if to look them in rows:

011
001
100

011 + 001 = 100

Even one letter word "000" belongs in the language cause:

0
0
0

0 + 0 = 0

I hope u get the picture. PS! Langauge L contains 1 to million (or more) letter words. How do I do a Finate State Machine which accepts strings that belong in the langugage? My teacher said it not that hard but i just don't know how to start...Please help!
 
Last edited:
Mathematics news on Phys.org
I don't see what a FSM has anything to do with this. Let's say you want to check if string A is in the language. Just subtract each letter in the alphabet from A and see if you get another letter.
 
Can u expalin more detailed? I don't know, my assaingment says i have to pruve that this langugage is regular by makeing a FSM
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
Thread 'Imaginary Pythagorus'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...
Back
Top