Wyrażenia regularne.

Question

Jaka jest różnica między:

 ^(1+10)+$

a:

 ^(1*10)+$

Jakiej postaci wyrażenia akceptuje ten regex? Nie pytam dlatego, że dostałem jakieś zadanie domowe z tego, tylko w najbliższym czasie mam egzamin na którym może to być. I jak dotąd myślałem, że to umiem - tak jak teraz odpaliłem testera do wyrażeń regularnych, to się zdziwiłem.

Wydawało mi się, że w domknięciu dodatnim, jeżeli dwa wyrazy są połączone znakiem +, to musi wystąpić minimum jeden z tych wyrazów, ale nieważne w jakiej kolejności są te wyrazy. Tzn myślałem, że akceptuje to słowa takie jak:

1, 10, 110, 101, 10101,11110,110 itd.

Natomiast jak wrzuciłem to w testera ( https://www.regextester.com/ ) okazało się, że np nie akceptuje: 

1, 101,10

 Analogicznie nie wiem, jakie ten drugi regex słowa akceptuje.

Z góry dzięki za pomoc. 

Comments

Pobaw się tym. W łatwy sposób sprawdza umiejętności: https://regexcrossword.com/

---

Aż tak na razie nie potrzebuję się tego uczyć, bo jeszcze parę innych zagadnień mam do egzaminu. Na razie tylko chciałem wiedzieć, jaka jest różnica między tymi dwoma regexami. Potrzebuję tego do tego, aby móc na egzaminie narysować deterministyczny automat skończony akceptujący słowa postaci np. 11010(1+00)+. Ale dzięki, bo kiedyś (w niedalekiej przyszłości) będę musiał też się nauczyć regexów, jeżeli chciałbym myśleć o pracy w zawodzie.

Answer 1

^(1+10)+$

^       //początek ciągu znakowego
(       //początek grupy przechwytującej
   1+   //co najmniej jedna jedynka lub więcej
    1   //dokładnie jedna jedynka (czyli w sumie min. dwie)
   0    //dokładnie jedno zero
)+      //koniec grupy, musi ona wystąpić co najmniej raz
$       //koniec analizowanego ciągu

Testy:

const reg = /^(1+10)+$/;

reg.test('110');    //true
reg.test('1110');   //true
reg.test('11110');  //true
reg.test('110110'); //true

reg.test('10');     //false
reg.test('1010');   //false

i teraz drugi wzorzec:

^(1*10)+$

^       //początek ciągu znakowego
(       //początek grupy przechwytującej
   1*   //dowolna ilość jedynek, w tym zero czyli brak!
    1   //dokładnie jedna jedynka (czyli w sumie min. dwie)
   0    //dokładnie jedno zero
)+      //koniec grupy, musi ona wystąpić co najmniej raz
$       //koniec analizowanego ciągu

Testy:

const reg = /^(1*10)+$/;

reg.test('110');    //true
reg.test('1110');   //true
reg.test('11110');  //true
reg.test('110110'); //true

reg.test('10');     //true
reg.test('1010');   //true

Testy dałem te same w obu przypadkach. Zwróć uwagę na ostatnie przykłady. Drugi regexp ma kwantyfikator * czyli wymaga jednej lub zero jedynek, po których znajduje się jedynka i zero. W konsekwencji akceptuje więc liczbę 10, czego nie zrobi pierwszy regexp, który kwantyfikatorem + wymaga aby pierwsza jedynka pojawiła się co najmniej jeden raz, a po niej kolejna jedynka i zero.

Comments

Aaaaaaa, czyli już rozumiem. Dzięki :)

---

Jeszcze jedno pytanko mam. W skrypcie z Wprowadzenie do Informatyki mam w przykładach:

(1+10)^*

gdzie ^* (indeks górny) jest domknięciem Kleenego (czy jakoś), a '+' nie jest żadnym indeksem tylko operatorem. I w przykładach mam napisane, że to reprezentuje zbiór wszystkich zer i jedynek rozpoczynających się od 1 i nie zawierających podwojonych symboli 0. Według tego, to powinno reprezentować np ciąg: 1 czy 11. Różnica między domknięciem Kleenego a dopełnieniem dodatnim jest taka, że w dopełnieniu dodatnim minimum raz musi się pojawić to co jest w danej grupie, więc zmieniając na takie wyrażenie:

(1+10)^+

Też (wg skryptu) powinno reprezentować 1 czy 11. Więc, czy w skrypcie jest błąd? Czy + pomiędzy 1 a 10 nie odnosi się do dopełnień?

PS: Nie używam tutaj znaków ^ i $, ponieważ w tej sytuacji wyrażenie regularne nie służyłoby raczej do sprawdzania łańcucha, tylko do generowania łańcuchów, czyli cały łańcuch musi być tej postaci. 

---

Teraz się zastanawiam, czy ten znak '+' po prostu nie oznacza w tym przypadku alternatywy.