W popularnej (i niezbędnej) książce o informatyce An Introduction to Formal Languages ​​and Automata autorstwa Petera Linza często pojawia się następujący język formalny:

głównie dlatego, że ten język nie może być przetwarzany za pomocą automatów skończonych. Wyrażenie to oznacza „Język L składa się ze wszystkich ciągów„ a ”, po których następuje„ b ”, w których liczba„ a ”i„ b ”jest równa i niezerowa”.

Wyzwanie

Napisz działający program / funkcję, która pobiera ciąg znaków, zawierający tylko „a” i „b” , jako dane wejściowe i zwraca / wyprowadza wartość prawdy , mówiąc, że jeśli ten ciąg jest poprawny w języku formalnym L.

• Twój program nie może używać żadnych zewnętrznych narzędzi obliczeniowych, w tym sieci, programów zewnętrznych itp. Powłoki są wyjątkiem od tej reguły; Bash np. Może korzystać z narzędzi wiersza poleceń.

• Twój program musi zwrócić / wyprowadzić wynik w „logiczny” sposób, na przykład: zwrócić 10 zamiast 0, dźwięk „beep”, wyprowadzić na standardowe wyjście itp. Więcej informacji tutaj.

• Obowiązują standardowe zasady gry w golfa.

To jest golf golfowy . Najkrótszy kod w bajtach wygrywa. Powodzenia!

Prawdziwe przypadki testowe

"ab"
"aabb"
"aaabbb"
"aaaabbbb"
"aaaaabbbbb"
"aaaaaabbbbbb"

Przypadki testowe Falsy

""
"a"
"b"
"aa"
"ba"
"bb"
"aaa"
"aab"
"aba"
"abb"
"baa"
"bab"
"bba"
"bbb"
"aaaa"
"aaab"
"aaba"
"abaa"
"abab"
"abba"
"abbb"
"baaa"
"baab"
"baba"
"babb"
"bbaa"
"bbab"
"bbba"
"bbbb"

MATL , 5 4 bajtów

tSP-

Drukuje niepustą tablicę 1 s, jeśli ciąg należy do L , a pustą tablicę lub tablicę z 0 s (oba fałsz) w przeciwnym razie.

Dzięki @LuisMendo za grę w golfa na 1 bajcie!

Wypróbuj online!

Jak to działa

t      Push a copy of the implicitly read input.
 S     Sort the copy.
  P    Reverse the sorted copy.
   -   Take the difference of the code point of the corresponding characters
       of the sorted string and the original.

Python 3, 32 bajty

eval(input().translate(")("*50))

Dane wyjściowe za pośrednictwem kodu wyjścia : Błąd dla false, brak błędu dla true.

Ciąg jest oceniany jako kod Pythona, zastępując parens (dla ai )dla b. Tylko wyrażenia formy a^n b^nstają się dobrze sformułowanymi wyrażeniami w nawiasach, takimi jak ((()))ocena do krotki ().

Wszelkie niedopasowane pareny dają błąd, podobnie jak wiele grup (()()), ponieważ nie ma separatora. Pusty ciąg również się nie powiedzie (to się powiedzie exec).

Konwersja ( -> a, ) -> bodbywa się za pomocą str.translate, którego zastępuje znaków wskazanych przez ciąg, który służy jako tabeli konwersji. Biorąc pod uwagę ciąg o długości 100 ”) („ * 50, tabele odwzorowują pierwsze 100 wartości ASCII jako

... Z[\]^_`abc
... )()()()()(

która trwa ( -> a, ) -> b. W Pythonie 2 muszą być dostarczone konwersje dla wszystkich 256 wartości ASCII, wymagające "ab"*128dłuższego o jeden bajt; dzięki isaacg za zwrócenie na to uwagi.

Siatkówka , 12 bajtów

Podziękowania dla FryAmTheEggman, który znalazł to rozwiązanie niezależnie.

+`a;?b
;
^;$

Drukuje 1dla poprawnych danych wejściowych i 0innych.

Wypróbuj online! (Pierwszy wiersz włącza pakiet testowy oddzielony od linii).

Wyjaśnienie

Grupy równoważące wymagają kosztownej składni, więc zamiast tego staram się ograniczyć prawidłowe dane wejściowe do prostej formy.

Scena 1

+`a;?b
;

+Mówi Retina powtórzyć ten etap w pętli aż wyjście przestaje się zmieniać. Pasuje do ablub a;bzastępuje go ;. Rozważmy kilka przypadków:

• Jeśli aS i bS w struny nie są zrównoważone w taki sam sposób, (i )zwykle trzeba być, niektóre alub bpozostanie w łańcuchu, ponieważ baalbo b;anie może zostać rozwiązany i pojedynczy alub bna własną rękę nie może zarówno. Aby pozbyć się wszystkich as i bs nie musi być jeden odpowiadający bna prawo od siebie a.
• Jeżeli ai bnie są zagnieżdżone (np jeśli mamy coś podobnego abablub aabaabbb) następnie będziemy skończyć z wielokrotności ;(i potencjalnie niektóre as oraz bs), ponieważ pierwsza iteracja znajdzie wielu abs, aby je włożyć i kolejne iteracje zachowa liczba ;w ciągu.

Stąd, jeśli i tylko jeśli dane wejściowe mają formę , otrzymamy jeden ciąg w ciągu.anbn;

Etap 2:

^;$

Sprawdź, czy wynikowy ciąg nie zawiera nic oprócz pojedynczego średnika. (Kiedy mówię „sprawdź”, mam na myśli, „policz liczbę dopasowań podanego wyrażenia regularnego, ale ponieważ to wyrażenie może się zgadzać co najwyżej z powodu zakotwiczeń, daje to albo 0albo 1.)

Haskell, 31 bajtów

f s=s==[c|c<-"ab",'a'<-s]&&s>""

Lista zrozumienie [c|c<-"ab",'a'<-s]sprawia ciąg jednym 'a'dla każdego 'a'w s, a następnie jednym 'b'dla każdego 'a'w s. Unika liczenia, dopasowując stałą i generując wynik dla każdego dopasowania.

Ten ciąg znaków jest sprawdzany, aby był równy oryginalnemu ciągowi, a oryginalny ciąg znaków jest sprawdzany jako niepusty.

Brud , 12 bajtów

A=\aA?\b
e`A

Wypróbuj online!

Wyjaśnienie

Pierwszy wiersz definiuje nieterminal A, który pasuje do jednej litery a, być może nieterminalnej A, a następnie do jednej litery b. Drugi wiersz dopasowuje całe wejście ( e) do nieterminala A.

8-bajtowa niekonkurencyjna wersja

e`\a_?\b

Po napisaniu pierwszej wersji tej odpowiedzi zaktualizowałem Grime, aby traktował go _jako nazwę wyrażenia najwyższego poziomu. To rozwiązanie jest równoważne z powyższym, ale pozwala uniknąć powtarzania etykiety A.

Brachylog , 23 19 bajtów

@2L,?lye:"ab"rz:jaL

Wypróbuj online!

Wyjaśnienie

@2L,                  Split the input in two, the list containing the two halves is L
    ?lye              Take a number I between 0 and the length of the input              
        :"ab"rz       Zip the string "ab" with that number, resulting in [["a":I]:["b":I]]
               :jaL   Apply juxtapose with that zip as input and L as output
                        i.e. "a" concatenated I times to itself makes the first string of L
                        and "b" concatenated I times to itself makes the second string of L

05AB1E , 9 bajtów

Kod:

.M{J¹ÔQ0r

Wyjaśnienie:

.M         # Get the most frequent element from the input. If the count is equal, this
           results into ['a', 'b'] or ['b', 'a'].
  {        # Sort this list, which should result into ['a', 'b'].
   J       # Join this list.
    Ô      # Connected uniquified. E.g. "aaabbb" -> "ab" and "aabbaa" -> "aba".
     Q     # Check if both strings are equal.
      0r   # (Print 0 if the input is empty).

Ostatnie dwa bajty można odrzucić, jeśli gwarantowane jest, że dane wejściowe są niepuste.

Wykorzystuje kodowanie CP-1252 . Wypróbuj online! .

Galaretka , 6 bajtów

Ṣ=Ṛ¬Pȧ

Drukuje sam łańcuch, jeśli należy do L lub jest pusty, a 0 w przeciwnym razie.

Wypróbuj online! lub zweryfikuj wszystkie przypadki testowe .

Jak to działa

Ṣ=Ṛ¬Pȧ  Main link. Argument: s (string)

Ṣ       Yield s, sorted.
  Ṛ     Yield s, reversed.
 =      Compare each character of sorted s with each character of reversed s.
   ¬    Take the logical NOT of each resulting Boolean.
    P   Take the product of the resulting Booleans.
        This will yield 1 if s ∊ L or s == "", and 0 otherwise.
     ȧ  Take the logical AND with s.
       This will replace 1 with s. Since an empty string is falsy in Jelly,
       the result is still correct if s == "".

Alternatywna wersja, 4 bajty (niekonkurujące)

ṢnṚȦ

Drukuje 1 lub 0 . Wypróbuj online! lub zweryfikuj wszystkie przypadki testowe .

Jak to działa

ṢnṚȦ  Main link. Argument: s (string)

Ṣ     Yield s, sorted.
  Ṛ   Yield s, reversed.
 n    Compare each character of the results, returning 1 iff they're not equal.
   Ȧ  All (Octave-style truthy); return 1 if the list is non-empty and all numbers
      are non-zero, 0 in all other cases.

J, 17 bajtów

#<.(-:'ab'#~-:@#)

Działa to poprawnie, dając falsey dla pustego łańcucha. Błąd to falsey.

Stare wersje:

-:'ab'#~-:@#
2&#-:'ab'#~#   NB. thanks to miles

Dowód i wyjaśnienie

Czasownik główny to rozwidlenie składające się z tych trzech czasowników:

# <. (-:'ab'#~-:@#)

Oznacza to: „Mniejszą ( <.) długość ( #) i wynik prawego palca ( (-:'ab'#~-:@#))”.

Prawym zębem jest 4-pociągowy , składający się z:

(-:) ('ab') (#~) (-:@#)

Niech kreprezentować nasz wkład. Zatem jest to równoważne z:

k -: ('ab' #~ -:@#) k

-:jest operatorem dopasowania, więc wiodącym -:testem na niezmienność pod widelcem monadycznym 'ab' #~ -:@#.

Ponieważ lewy ząb widelca jest czasownikiem, staje się stałą funkcją. Widelec odpowiada zatem:

'ab' #~ (-:@# k)

Prawy ząb widelca dzieli połowę ( -:) na długość ( #) wynoszącą k. Obserwuj #:

   1 # 'ab'
'ab'
   2 # 'ab'
'aabb'
   3 # 'ab'
'aaabbb'
   'ab' #~ 3
'aaabbb'

Teraz dotyczy to ktylko poprawnych danych wejściowych, więc skończymy tutaj. #błędy dla łańcuchów o nieparzystej długości, które nigdy nie odpowiadają językowi, więc już to zrobiliśmy.

W połączeniu z mniejszą długością i tym, pusty ciąg znaków, który nie jest częścią naszego języka, daje jego długość 0i to wszystko.

Bison / YACC 60 (lub 29) bajtów

(Cóż, kompilacja programu YACC składa się z kilku kroków, więc może warto do tego dołączyć. Szczegóły poniżej.)

%%
l:c'\n';
c:'a''b'|'a'c'b';
%%
yylex(){return getchar();}

Ta funkcja powinna być dość oczywista, jeśli umiesz ją interpretować w kategoriach gramatyki formalnej. Analizator składni akceptuje jedną ablub anastępującą po niej dowolną akceptowalną sekwencję, po której następuje a b.

Ta implementacja opiera się na kompilatorze, który akceptuje semantykę K&R, aby stracić kilka znaków.

Jest bardziej słaby niż chciałbym z koniecznością definiowania yylexi dzwonienia getchar.

Połącz z

$ yacc equal.yacc
$ gcc -m64 --std=c89 y.tab.c -o equal -L/usr/local/opt/bison/lib/ -ly

(większość opcji gcc jest specyficzna dla mojego systemu i nie powinna się liczyć z liczbą bajtów; warto policzyć, -std=c89co dodaje 8 do podanej wartości).

Biegnij z

$ echo "aabb" | ./equal

lub odpowiednik.

Wartość prawdy jest zwracana do systemu operacyjnego, a błędy zgłaszane są również syntax errordo wiersza poleceń. Jeśli mogę zliczyć tylko część kodu, która definiuje funkcję parsowania (to znaczy pomijam drugą %%i wszystko, co następuje), otrzymuję liczbę 29 bajtów.

Perl 5.10, 35 17 bajtów (z flagą -n )

say/^(a(?1)?b)$/

Zapewnia, że ​​ciąg zaczyna się od as, a następnie powtarza na bs. Pasuje tylko wtedy, gdy obie długości są równe.

Podziękowania dla Martina Endera za zmniejszenie o połowę liczby bajtów i nauczenie mnie trochę o rekurencji w wyrażeniach regularnych: D

Zwraca cały ciąg, jeśli pasuje, i nic, jeśli nie.

Wypróbuj tutaj!

JavaScript, 54 55 44

s=>s&&s.match(`^a{${l=s.length/2}}b{${l}}$`)

Buduje prosty regex na podstawie długości łańcucha i testuje go. Dla łańcucha o długości 4 ( aabb) wyrażenie regularne wygląda następująco:^a{2}b{2}$

Zwraca wartość true lub falsey.

11 bajtów zapisanych dzięki Neilowi.

f=s=>s&&s.match(`^a{${l=s.length/2}}b{${l}}$`)
// true
console.log(f('ab'), !!f('ab'))
console.log(f('aabb'), !!f('aabb'))
console.log(f('aaaaabbbbb'), !!f('aaaaabbbbb'))
// false
console.log(f('a'), !!f('a'))
console.log(f('b'), !!f('b'))
console.log(f('ba'), !!f('ba'))
console.log(f('aaab'), !!f('aaab'))
console.log(f('ababab'), !!f('ababab'))
console.log(f('c'), !!f('c'))
console.log(f('abc'), !!f('abc'))
console.log(f(''), !!f(''))

C, 57 53 bajtów

t;x(char*s){t+=*s%2*2;return--t?*s&&x(s+1):*s*!1[s];}

Stare rozwiązanie o długości 57 bajtów:

t;x(char*s){*s&1&&(t+=2);return--t?*s&&x(s+1):*s&&!1[s];}

Skompilowane z gcc v. 4.8.2 @Ubuntu

Dzięki ugoren za wskazówki!

Wypróbuj na Ideone!

Siatkówka , 22 bajty

Właśnie nadeszła kolejna krótsza odpowiedź w tym samym języku ...

^(a)+(?<-1>b)+(?(1)c)$

Wypróbuj online!

Jest to prezentacja grup równoważących w wyrażeniach regularnych, co w pełni wyjaśnia Martin Ender .

Ponieważ moje wyjaśnienie nie zbliżyłoby się do połowy tego, po prostu połączę się z nim i nie będę próbował wyjaśniać, ponieważ byłoby to szkodliwe dla chwały jego wyjaśnienia.

Befunge-93, 67 bajtów

0v@.<  0<@.!-$<  >0\v
+>~:0`!#^_:"a" -#^_$ 1
~+1_^#!-"b" _ ^#`0: <

Wypróbuj tutaj! Może wyjaśnić, jak to działa później. Być może spróbuję zagrać w golfa jeszcze trochę, tylko dla kopnięć.

MATL , 9 bajtów

vHI$e!d1=

Wypróbuj online!

Tablica wyjściowa jest prawdziwa, jeśli nie jest pusta, a wszystkie jej wpisy są niezerowe. W przeciwnym razie jest to fałsz. Oto kilka przykładów .

v     % concatenate the stack. Since it's empty, pushes the empty array, []
H     % push 2
I$    % specify three inputs for next function
e     % reshape(input, [], 2): this takes the input implicitly and reshapes it in 2
      % columns in column major order. If the input has odd length a zero is padded at
      % the end. For input 'aaabbb' this gives the 2D char array ['ab;'ab';'ab']
!     % transpose. This gives ['aaa;'bbb']
d     % difference along each column
1=    % test if all elements are 1. If so, that means the first tow contains 'a' and
      % the second 'b'. Implicitly display

kod maszynowy x86, 29 27 bajtów

Hexdump:

33 c0 40 41 80 79 ff 61 74 f8 48 41 80 79 fe 62
74 f8 0a 41 fe f7 d8 1b c0 40 c3

Kod zestawu:

    xor eax, eax;
loop1:
    inc eax;
    inc ecx;
    cmp byte ptr [ecx-1], 'a';
    je loop1;

loop2:
    dec eax;
    inc ecx;
    cmp byte ptr [ecx-2], 'b';
    je loop2;

    or al, [ecx-2];
    neg eax;
    sbb eax, eax;
    inc eax;
done:
    ret;

Na początku iteruje abajty, a następnie kolejne bajty „b”. Pierwsza pętla zwiększa licznik, a druga zmniejsza. Następnie wykonuje bitowe LUB między następującymi warunkami:

1. Jeśli licznik nie ma na końcu 0, łańcuch nie pasuje
2. Jeśli bajt następujący po sekwencji bs nie jest równy 0, łańcuch również nie pasuje

Następnie musi „odwrócić” wartość prawdy eax- ustaw ją na 0, jeśli nie była równa 0, i odwrotnie. Okazuje się, że najkrótszym kodem do wykonania jest następujący 5-bajtowy kod, który ukradłem z danych wyjściowych mojego kompilatora C ++ dla result = (result == 0):

    neg eax;      // negate eax; set C flag to 1 if it was nonzero
    sbb eax, eax; // subtract eax and the C flag from eax
    inc eax;      // increase eax

Ruby, 24 bajty

eval(gets.tr'ab','[]')*1

(To po prostu genialny pomysł Xnora w formie Ruby. Moja inna odpowiedź to rozwiązanie, które sam wymyśliłem.)

Program trwa wejście, przekształca ai bna [i ]odpowiednio, i ocenia je.

Prawidłowe dane wejściowe utworzą zagnieżdżoną tablicę i nic się nie dzieje. Niezrównoważone wyrażenie spowoduje awarię programu. W Ruby puste dane wejściowe są oceniane jako nil, co spowoduje awarię, ponieważ nilnie zdefiniowano *metody.

Sed, 38 + 2 = 40 bajtów

s/.*/c&d/;:x;s/ca(.*)bd/c\1d/;tx;/cd/p

^{Niepuste wyjście łańcuchowe jest zgodne z prawdą}

Automaty skończone nie mogą tego zrobić, mówisz? Co z automatami skończonymi z pętlami . : P

Uruchom z flagami ri n.

Wyjaśnienie

s/.*/c&d/        #Wrap the input in 'c' and 'd' (used as markers)
:x               #Define a label named 'x'
s/ca(.*)bd/c\1d/ #Deletes 'a's preceded by 'c's and equivalently for 'b's and 'd's. This shifts the markers to the center
tx               #If the previous substitution was made, jump to label x
/cd/p            #If the markers are next to one another, print the string

JavaScript, 44 42

^{Przekreślone 44 jest nadal regularne 44; (}

f=s=>(z=s.match`^a(.+)b$`)?f(z[1]):s=="ab"

Prace rekurencyjnie usunięciu zewnętrznej ai brekurencyjnie za pomocą wartości wewnętrzną wybrany ale .+. Gdy po ^a.+b$lewej stronie nie ma żadnego dopasowania , końcowym wynikiem jest to, czy pozostały ciąg jest dokładną wartością ab.

Przypadki testowe:

console.log(["ab","aabb","aaabbb","aaaabbbb","aaaaabbbbb","aaaaaabbbbbb"].every(f) == true)
console.log(["","a","b","aa","ba","bb","aaa","aab","aba","abb","baa","bab","bba","bbb","aaaa","aaab","aaba","abaa","abab","abba","abbb","baaa","baab","baba","babb","bbaa","bbab","bbba","bbbb"].some(f) == false)

ANTLR, 31 bajtów

grammar A;r:'ab'|'a'r'b'|r'\n';

Używa tej samej koncepcji, co odpowiedź YACC @ dmckee , tylko nieco bardziej golfowa.

Aby przetestować, wykonaj czynności opisane w samouczku Wprowadzenie do ANTLR . Następnie umieść powyższy kod w pliku o nazwie A.g4i uruchom następujące polecenia:

$ antlr A.g4
$ javac A*.java

Następnie przetestuj, podając dane wejściowe STDIN, aby grun A r:

$ echo "aaabbb" | grun A r

Jeśli dane wejściowe są prawidłowe, nic nie zostanie wyprowadzone; jeżeli jest ona nieważna, grundaje błąd (albo token recognition error, extraneous input, mismatched input, lub no viable alternative).

Przykładowe użycie:

$ echo "aabb" | grun A r
$ echo "abbb" | grun A r
line 1:2 mismatched input 'b' expecting {<EOF>, '
'}

C, 69 bajtów

69 bajtów:

#define f(s)strlen(s)==2*strcspn(s,"b")&strrchr(s,97)+1==strchr(s,98)

Dla osób nieznanych:

• strlen określa długość łańcucha
• strcspn zwraca pierwszy indeks w ciągu, w którym znaleziono drugi ciąg
• strchr zwraca wskaźnik do pierwszego wystąpienia znaku
• strrchr zwraca wskaźnik do ostatniego wystąpienia znaku

Ogromne podziękowania dla Tytusa!

R, 64 61 55 bajtów, 73 67 bajtów (solidny) lub 46 bajtów (jeśli dozwolone są puste ciągi)

1. Znów odpowiedź Xnora została przerobiona. Jeśli reguły sugerują, że dane wejściowe będą składać się z ciągu as i bs, powinno działać: zwraca NULL, jeśli wyrażenie jest poprawne, wyrzuca i błąd lub nic innego.

   if((y<-scan(,''))>'')eval(parse(t=chartr('ab','{}',y)))
   

2. Jeśli dane wejściowe nie są niezawodne i mogą zawierać śmieci, np. aa3bbNależy wziąć pod uwagę następującą wersję (należy zwrócić TRUEdla prawdziwych przypadków testowych, a nie NULL):

   if(length(y<-scan(,'')))is.null(eval(parse(t=chartr("ab","{}",y))))
   

3. Wreszcie, jeśli dozwolone są puste ciągi, możemy zignorować warunek dla niepustych danych wejściowych:

   eval(parse(text=chartr("ab","{}",scan(,''))))
   

   Ponownie, NULL, jeśli sukces, cokolwiek innego inaczej.

Japt , 11 bajtów

©¬n eȦUg~Y

Wypróbuj online!

Daje albo truealbo false, oprócz tego, że ""daje ""co jest falsy w JS.

Rozpakowane i jak to działa

U&&Uq n eXYZ{X!=Ug~Y

U&&     The input string is not empty, and...
Uq n    Convert to array of chars and sort
eXYZ{   Does every element satisfy...?
X!=       The sorted char does not equal...
Ug~Y      the char at the same position on the original string reversed

Przyjęty z roztworem Mátl Dennisa .

C (Ansi), 65 75 bajtów

Gra w golfa:

l(b,i,j,k)char*b;{for(i=j=0;(k=b[i++])>0&k<=b[i];)j+=2*(k>97)-1;return !j;}

Wyjaśnienie:

Ustawia wartość j i zwiększa wartość j na każdym b oraz zmniejsza wartość j na czymkolwiek innym. Sprawdzone, czy poprzedni list jest mniejszy lub równy następnemu, więc nie pozwól ababowi działać

Edycje

Dodano kontrole przypadków abab.

Partia, 133 bajty

@if ""=="%1" exit/b1        Fail if the input is empty
@set a=%1                   Grab the input into a variable for processing
@set b=%a:ab=%              Remove all `ab` substrings
@if "%a%"=="%b%" exit/b1    Fail if we didn't remove anything
@if not %a%==a%b%b exit/b1  Fail if we removed more than one `ab`
@if ""=="%b%" exit/b0       Success if there's nothing left to check
@%0 %b%                     Rinse and repeat

Zwraca ERRORLEVEL0 w przypadku sukcesu, 1 w przypadku niepowodzenia. Batch nie lubi zastępować podciągów na pustych ciągach, więc musimy to sprawdzić z góry; jeśli pusty parametr był zgodny z prawem, wiersz 6 nie byłby potrzebny.

PowerShell v2 +, 61 52 bajtów

param($n)$x=$n.length/2;$n-and$n-match"^a{$x}b{$x}$"

Pobiera dane wejściowe $njako ciąg znaków, tworzy $xjako half the length. Konstruuje -andlogiczne porównanie $ni -matchoperator wyrażenia regularnego z wyrażeniem regularnym równej liczby a„i b”. Wyprowadza wartość logiczną $TRUElub $FALSE. $n-andJest tam, aby wyjaśnić ""= $FALSE.

Alternatywnie, 35 bajtów

$args-match'^(a)+(?<-1>b)+(?(1)c)$'

Wykorzystuje regex z odpowiedzi Leaky , opartej na grupach równoważących .NET, właśnie zamkniętych w -matchoperatorze PowerShell . Zwraca ciąg dla prawdy lub pusty ciąg dla falsey.

Pyth - 13 bajtów

&zqzS*/lz2"ab

Wyjaśniono:

  qz          #is input equal to
          "ab #the string "ab"
     *        #multiplied by
      /lz2    #length of input / 2
    S         #and sorted?
&z            #(implicitly) print if the above is true and z is not empty

Haskell, 39 bajtów

p x=elem x$scanl(\s _->'a':s++"b")"ab"x

Przykład użycia: p "aabb"-> True.

scanl(\s _->'a':s++"b")"ab"xzbudować listę wszystkich ["ab", "aabb", "aaabbb", ...]o łącznej liczbie (length x)elementów. elemsprawdza, czy xjest na tej liście.

Python, 43 40 bajtów

lambda s:''<s==len(s)/2*"a"+len(s)/2*"b"

znalazło oczywiste rozwiązanie dzięki Leaky Nun

inny pomysł, 45 bajtów:

lambda s:s and list(s)==sorted(len(s)/2*"ab")

-4 bajty za pomocą len / 2 (pojawia się błąd, gdy połowa jest ostatnia)

teraz podaje false dla pustego ciągu

-3 bajty dzięki xnor