Graph Formal System