Symbolic system
Redirect to:
Formal language