Talk:State transition system
From Wikipedia, the free encyclopedia
With respect to the difference between state transition systems and finite automata, I am under the impression that nondeterministic finite automata have a transition relation rather than a transition function. This would be in contrast to the last stated difference between the two. That is, unless finite automata implicitly presupposes deterministic finite automata.
- (This comment does not apply to the present state of the article. In this context, determinism and finiteness are independent properties.) Rp 12:56, 25 October 2006 (UTC)
[edit] Rename
I know these systems simply as transition systems, not state transition systems. Should this article be renamed? Rp 12:56, 25 October 2006 (UTC)
- Yes it should have been. I just got done writing the article on semiautomaton when I found this article, which is exactly the same thing. Grrr. I really wish people would take the time and effort to create appropriate redirects, so that such duplication of effort wouldn't happen! linas 03:55, 19 April 2007 (UTC)
[edit] Redirection
I came to this page when looking for "State machine", but the page I really wanted was "Finite state machine". I've stuck in a "State machine redirects here" tag, but I'm not sure what to put in the second parameter. Further editing would be appreciated!
Rosuav (talk) 22:02, 3 April 2008 (UTC)
- I've changed State machine to redirect to Finite state machine. This was the case until User:Beholdtheloaf changed things a few weeks ago. An alternative target is Abstract state machine, but that doesn't seem to be a very common concept. My understanding is that Finite state machines appear in most undergraduate comp. sci. courses, whereas these other concepts may not; thus "State machine -> finite state machine" is the most widely used interpretation. I don't think its a big assumption to assume that a "machine" is finite! Moreover, I've never seen this use of terminology "state machine = labelled transition system" in the literature. Any objections, or references? If not, the extra tag can be removed. Sam Staton (talk) 07:41, 4 April 2008 (UTC)
