public CFGrammer Intersect(Finite.FABase A) => throw new NotImplementedException();
public CFGrammer Diff(Finite.FABase A) => throw new NotImplementedException();