4.4.1. Removal of Useless symbols Verbal Notes | Theory of Computation BSC-CSIT | TU | TABFlux