private Automaton Join(params string[] strings)
{
IList<Automaton> @as = new List<Automaton>();
foreach (string s in strings)
{
@as.Add(BasicAutomata.MakeString(s));
@as.Add(SEP_A);
}
@as.RemoveAt(@as.Count - 1);
return BasicOperations.Concatenate(@as);
}