MHB Prove that if L is regular, then L^R is regular

  • Thread starter Thread starter Julio1
  • Start date Start date
  • Tags Tags
    Regular
AI Thread Summary
If a language \( L \) is regular, then its reverse \( L^R \), defined as \( L^R = \{ w^R \mid w \in L \} \), is also regular. This can be demonstrated in two main ways. First, by utilizing a regular expression \( r \) that generates \( L \), one can construct a new expression for \( L^R \) through recursive transformation based on the structure of \( r \). Second, by taking a deterministic finite automaton (DFA) that accepts \( L \), one can reverse the direction of all transitions, introduce a new initial state, and create \( \varepsilon \)-transitions from this new state to all original accepting states. Both methods effectively show that the reverse of a regular language remains regular.
Julio1
Messages
66
Reaction score
0
Prove that if $L$ is regular, then $L^R=\{w^R, w\in L\}$ is regular.

Hello MHB! I need if you can help me with this problem. Thank you.
 
Technology news on Phys.org
One way is to take a regular expression $r$ that generates $L$ and construct an expression that generates $L^R$. It is built by recursion on $r$.

Another way is to take a DFA accepting $L$ and reverse all arrows. One also has to add a new initial state and add $\varepsilon$-transitions from it to all old accepting states.
 
Dear Peeps I have posted a few questions about programing on this sectio of the PF forum. I want to ask you veterans how you folks learn program in assembly and about computer architecture for the x86 family. In addition to finish learning C, I am also reading the book From bits to Gates to C and Beyond. In the book, it uses the mini LC3 assembly language. I also have books on assembly programming and computer architecture. The few famous ones i have are Computer Organization and...
hi; i purchased 3 of these, AZDelivery 3 x AZ-MEGA2560-Board Bundle with Prototype Shield and each is reporting the error message below. I have triple checked every aspect of the set up and all seems in order, cable devices port, board reburn bootloader et al . I have substituted an arduino uno and it works fine; could you help please Thanks Martyn 'avrdude: ser_open(): can't set com-state for "\\.\COM3"avrdude: ser_drain(): read error: The handle is invalid.avrdude: ser_send(): write...

Similar threads

Replies
18
Views
3K
Replies
15
Views
4K
Replies
7
Views
2K
Replies
10
Views
7K
Replies
8
Views
2K
Back
Top