« first day (2596 days earlier)      last day (1033 days later) » 

Acsor
Acsor
17:39
Hi, I have a question that doesn't really warant its own post.

We are in context of (elementary) automata theory, specifically DPDA. My doubt concerns the following definition
user image
where M denotes a DPDA. Now the question is: isn't the second condition deductible from the first one, or am I simply missing something? Specifically, if the (q, a, x) triplet is such that to map to one element, if a = $\eps$ then obviously no other mapping exists for a different choice of a

« first day (2596 days earlier)      last day (1033 days later) »