Home - RenukaBhovi/Formal-Languages-and-Automata-Theory GitHub Wiki Formal Languages and Automata Theory Show that √3 is irrational