Corrigendum: A Graph-Based Regularity Test for Deterministic Context-Free Languages