इसका टेक्स्ट मैसेज भेजे : The finite representation of abstract programs by automata and Petri nets /