Deterministyczny automat ze stosem