Разница в языке конечных автоматов

Question

в чем разница между

L1 = {m ∈ (a + b)*} L1 = {m ∈ (a , b)*} 

Я чувствую, что нет никакой разницы, но я не могу понять разницу между этим + и плюсом в этом выражении, например (a,b)+

Answer 1

Вы правы, разницы нет.a+b переводится как a union b, а (a , b) - это еще один (хотя и гораздо менее распространенный) способ, которым некоторые исследователи ссылаются на a union b.Если вы решите продолжить изучение автоматов, вы обнаружите, что существует невероятное разнообразие способов, которыми разные исследователи ссылаются на одни и те же понятия.В одном только этом случае, от макушки головы, я знаю, что это можно записать как:

L1 = {m ∈ (a + b)*} L1 = {m ∈ (a , b)*} L1 = {m ∈ (a | b)*} L1 = {m ∈ (a U b)*}