Formal Acceptance and Core Calculator