Example 5.3.3.Consider L = {ambnaam | m,n1} _ {ambnabn | m,n1}.The use of _-moves is essential in a DPDA since information necessary for some cases must be retained on the stack (the 'b' count), but must be later purged from the stack in other cases. The DPDA below uses itsstates to check the input belonging to a+ b+ a (a+ + b+) and its stack to check for appropriate counts.
Previous slide | Next slide | Back to first slide | View graphic version |