Timeline for Given a non-deterministic Mealy machine $M$, if $L$ is regular, is $M(L)$ regular?
Current License: CC BY-SA 3.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 31, 2015 at 22:47 | answer | added | Yuval Filmus | timeline score: 1 | |
| Dec 31, 2015 at 15:45 | comment | added | vzn | yes. hint, convert it to a FSM transducer. | |
| S Dec 31, 2015 at 14:49 | history | suggested | Daniel Martin | CC BY-SA 3.0 |
Filled in definition for M(L) that question initially omitted
|
| Dec 31, 2015 at 14:25 | review | Suggested edits | |||
| S Dec 31, 2015 at 14:49 | |||||
| Sep 15, 2014 at 12:05 | history | tweeted | twitter.com/#!/StackCompSci/status/511485843006320641 | ||
| Sep 15, 2014 at 9:23 | history | edited | FrankW |
edited tags
|
|
| Sep 15, 2014 at 4:11 | comment | added | D.W.♦ | 1. There seem to be some typos in your quesiton. Please proof-read it carefully. You define $M(L)=$ but there is nothing after the equality sign; I assume something got left out. 2. What research have you done? See, e.g., here: en.wikipedia.org/wiki/Finite_state_transducer. Your question should be answered in standard textbooks on automata theory. | |
| Sep 15, 2014 at 3:54 | comment | added | Ryan Dougherty | Please don't post homework: public.asu.edu/~ccolbou/src/457hw1f14.pdf | |
| Sep 14, 2014 at 21:42 | comment | added | David Smith | I may have misread what you wrote. Do you mean that "the transition and output functions give sets of states and [sets of] output symbols [, respectively]"? | |
| Sep 14, 2014 at 21:27 | comment | added | David Smith | So you are suggesting that $\tau$ outputs some symbol in $\Delta$? But how does this account for the case in which 2 distinct transitions exiting 1 particular state are such that one has the label '$x/y$', while the other has the label '$x/z$', where $y \neq z$? | |
| Sep 14, 2014 at 21:19 | comment | added | Hendrik Jan | Where did you get the definition? For each state and input the transition and output functions give sets of states and output symbols. Probably the choice of state and output should be connected in some way? You cannot assume determinism, for the reason you state. You do not need it. Look for "product construction". | |
| Sep 14, 2014 at 18:05 | history | asked | David Smith | CC BY-SA 3.0 |