Dalam buku ilmu komputer populer (dan esensial), Pengantar Bahasa Resmi dan Automata oleh Peter Linz, bahasa formal berikut ini sering dinyatakan:

terutama karena bahasa ini tidak dapat diproses dengan automata negara-terbatas. Ungkapan ini berarti "Bahasa L terdiri dari semua string 'a diikuti oleh' b's, di mana jumlah 'a dan' b's sama dan tidak nol".

Tantangan

Tulis program / fungsi kerja yang hanya berupa string, yang mengandung "a" dan "b" , sebagai input dan mengembalikan / menampilkan nilai kebenaran , dengan mengatakan jika string ini valid, bahasa formal L.

• Program Anda tidak dapat menggunakan alat perhitungan eksternal apa pun, termasuk jaringan, program eksternal, dll. Kerang adalah pengecualian dari aturan ini; Bash, misalnya, dapat menggunakan utilitas baris perintah.

• Program Anda harus mengembalikan / menampilkan hasilnya dengan cara yang "logis", misalnya: mengembalikan 10 bukannya 0, "bip", mengeluarkan ke stdout dll . Info selengkapnya di sini.

• Aturan golf kode standar berlaku.

Ini adalah kode-golf . Kode terpendek dalam byte menang. Semoga berhasil!

Kasus uji kebenaran

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

Kasus uji palsu

""
"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 byte

tSP-

Mencetak array non-kosong 1 s jika string milik L , dan array kosong atau array dengan 0 s (keduanya salah) sebaliknya.

Terima kasih kepada @LuisMendo karena bermain golf 1 byte!

Cobalah online!

Bagaimana itu bekerja

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 byte

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

Keluaran melalui kode keluar : Kesalahan untuk false, tidak ada kesalahan untuk True.

String dievaluasi sebagai kode Python, menggantikan parens (untuk adan )untuk b. Hanya ekspresi bentuk yang a^n b^nmenjadi ekspresi kurung seperti ((())), yang dievaluasi ke tuple ().

Setiap parens yang tidak cocok memberikan kesalahan, seperti yang akan terjadi pada beberapa grup (()()), karena tidak ada pemisah. String kosong juga gagal (itu akan berhasil exec).

Konversi ( -> a, ) -> bselesai menggunakan str.translate, yang menggantikan karakter seperti yang ditunjukkan oleh string yang berfungsi sebagai tabel konversi. Diberikan string 100-panjang ") (" * 50, tabel memetakan 100 nilai ASCII pertama sebagai

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

yang mengambil ( -> a, ) -> b. Dalam Python 2, konversi untuk semua 256 nilai ASCII harus disediakan, membutuhkan "ab"*128, satu byte lebih lama; terima kasih kepada isaacg untuk menunjukkan ini.

Retina , 12 byte

Penghargaan kepada FryAmTheEggman yang menemukan solusi ini secara mandiri.

+`a;?b
;
^;$

Mencetak 1untuk input yang valid dan 0sebaliknya.

Cobalah online! (Baris pertama memungkinkan suite tes yang dipisahkan dengan linefeed.)

Penjelasan

Grup penyeimbang memerlukan sintaksis mahal, jadi alih-alih saya mencoba mengurangi input yang valid ke bentuk sederhana.

Tahap 1

+`a;?b
;

The +memberitahu Retina mengulangi tahap ini dalam satu lingkaran sampai output berhenti berubah. Cocok abatau atau a;bmenggantikannya dengan ;. Mari kita pertimbangkan beberapa kasus:

• Jika as dan bs dalam string tidak seimbang dengan cara yang sama (dan )biasanya perlu, beberapa aatau bakan tetap dalam string, karena ba, atau b;atidak dapat diselesaikan dan satu aatau bsendiri tidak dapat antara. Untuk menyingkirkan semua as dan bs harus ada satu yang sesuai bdengan hak masing-masing a.
• Jika tanda adan btidak semuanya bersarang (mis. Jika kita memiliki sesuatu seperti ababatau aabaabbb) maka kita akan berakhir dengan banyak ;(dan berpotensi beberapa as dan bs) karena iterasi pertama akan menemukan banyak abs untuk menyisipkannya dan iterasi selanjutnya akan dipertahankan jumlah ;dalam string.

Oleh karena itu, jika dan hanya jika inputnya berupa , kita akan berakhir dengan satu di string.anbn;

Tahap 2:

^;$

Periksa apakah string yang dihasilkan hanya berisi satu titik koma. (Ketika saya mengatakan "centang" yang sebenarnya saya maksudkan, "hitung jumlah kecocokan dari regex yang diberikan, tetapi karena regex itu dapat cocok paling banyak sekali karena jangkar, ini memberikan salah satu 0atau 1.)

Haskell, 31 byte

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

Pemahaman daftar [c|c<-"ab",'a'<-s]membuat string satu 'a'untuk masing-masing 'a'masuk s, diikuti oleh satu 'b'untuk masing-masing 'a'masuk s. Ini menghindari penghitungan dengan mencocokkan pada konstanta dan menghasilkan output untuk setiap kecocokan.

String ini dicentang sama dengan string asli, dan string asli dicentang tidak kosong.

Grime , 12 byte

A=\aA?\b
e`A

Cobalah online!

Penjelasan

Baris pertama mendefinisikan nonterminal A, yang cocok dengan satu huruf a, mungkin nonterminal A, dan kemudian satu huruf b. Baris kedua cocok dengan seluruh input ( e) terhadap nonterminal A.

8-byte versi yang tidak bersaing

e`\a_?\b

Setelah menulis versi pertama dari jawaban ini, saya memperbarui Grime untuk dipertimbangkan _sebagai nama ekspresi tingkat atas. Solusi ini setara dengan yang di atas, tetapi menghindari pengulangan label A.

Brachylog , 23 19 byte

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

Cobalah online!

Penjelasan

@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 byte

Kode:

.M{J¹ÔQ0r

Penjelasan:

.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).

Dua byte terakhir dapat dibuang jika inputnya dijamin tidak kosong.

Menggunakan pengkodean CP-1252 . Cobalah online! .

Jelly , 6 byte

Ṣ=Ṛ¬Pȧ

Mencetak string itu sendiri jika itu milik L atau kosong, dan 0 sebaliknya.

Cobalah online! atau verifikasi semua kasus uji .

Bagaimana itu bekerja

Ṣ=Ṛ¬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 == "".

Versi alternatif, 4 byte (tidak bersaing)

ṢnṚȦ

Mencetak 1 atau 0 . Cobalah online! atau verifikasi semua kasus uji .

Bagaimana itu bekerja

Ṣ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 byte

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

Ini berfungsi dengan benar untuk memberikan falsey untuk string kosong. Kesalahan adalah falsey.

Versi lama:

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

Bukti dan penjelasan

Kata kerja utama adalah garpu yang terdiri dari tiga kata kerja ini:

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

Ini berarti, "Semakin kecil ( <.) panjang ( #) dan hasil dari tine kanan ( (-:'ab'#~-:@#))".

Tine kanan adalah 4-kereta , yang terdiri dari:

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

Biarkan kmewakili masukan kami. Kemudian, ini setara dengan:

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

-:adalah operator pertandingan, jadi -:tes utama untuk invarian di bawah garpu monadik 'ab' #~ -:@#.

Karena tine kiri dari fork adalah kata kerja, itu menjadi fungsi konstan. Jadi, garpu itu setara dengan:

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

Garis kanan dari garpu membagi dua ( -:) panjang ( #) dari k. Amati #:

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

Sekarang, ini khanya pada input yang valid, jadi kita selesai di sini. #kesalahan untuk string panjang ganjil, yang tidak pernah memuaskan bahasa, jadi kami juga selesai.

Dikombinasikan dengan yang lebih pendek dari panjang dan ini, string kosong, yang bukan merupakan bagian dari bahasa kita, menghasilkan panjangnya 0,, dan kita selesai dengan semuanya.

Bison / YACC 60 (atau 29) byte

(Ya, kompilasi untuk program YACC adalah beberapa langkah jadi mungkin ingin memasukkan beberapa untuk itu. Lihat di bawah untuk detailnya.)

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

Fungsi ini harus cukup jelas jika Anda tahu menafsirkannya dalam hal tata bahasa formal. Parser menerima salah satu abatau adiikuti oleh urutan yang dapat diterima diikuti oleh a b.

Implementasi ini bergantung pada kompiler yang menerima semantik K&R untuk kehilangan beberapa karakter.

Itu lebih banyak kata daripada yang saya inginkan dengan kebutuhan untuk mendefinisikan yylexdan memanggil getchar.

Kompilasi dengan

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

(sebagian besar opsi untuk gcc khusus untuk sistem saya dan tidak boleh dihitung terhadap jumlah byte; Anda mungkin ingin menghitung -std=c89yang menambahkan 8 ke nilai yang tercantum).

Jalankan dengan

$ echo "aabb" | ./equal

atau setara.

Nilai kebenaran dikembalikan ke OS dan kesalahan juga dilaporkan syntax errorke baris perintah. Jika saya bisa menghitung hanya bagian dari kode yang mendefinisikan fungsi parsing (yaitu mengabaikan yang kedua %%dan semua yang mengikuti) saya mendapatkan hitungan 29 byte.

Perl 5.10, 35 17 byte (dengan flag -n )

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

Pastikan string dimulai dengan as dan kemudian berulang pada bs. Hanya cocok jika kedua panjangnya sama.

Terima kasih kepada Martin Ender untuk mengurangi separuh jumlah byte dan mengajari saya sedikit tentang rekursi di regex: D

Ini mengembalikan seluruh string jika cocok, dan tidak ada jika tidak.

Coba di sini!

JavaScript, 54 55 44

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

Membangun regex sederhana berdasarkan panjang string dan mengujinya. Untuk string 4 panjang ( aabb) regex terlihat seperti:^a{2}b{2}$

Mengembalikan nilai truey atau falsey.

11 byte disimpan berkat Neil.

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 Bytes

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

Solusi lama 57 byte:

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

Dikompilasi dengan gcc v. 4.8.2 @Ubuntu

Terima kasih ugoren untuk tipsnya!

Cobalah di Ideone!

Retina , 22 byte

Jawaban lain yang lebih pendek dalam bahasa yang sama baru saja datang ...

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

Cobalah online!

Ini adalah pameran kelompok penyeimbang di regex, yang dijelaskan sepenuhnya oleh Martin Ender .

Karena penjelasan saya tidak akan mendekati setengahnya, saya hanya akan menghubungkannya dan tidak berusaha menjelaskan, karena itu akan merusak kemuliaan penjelasannya.

Befunge-93, 67 byte

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

Coba di sini! Bisa jelaskan cara kerjanya nanti. Mungkin juga mencoba untuk golf itu sedikit lebih, hanya untuk iseng.

MATL , 9 byte

vHI$e!d1=

Cobalah online!

Array output benar jika tidak kosong dan semua entri adalah nol. Kalau tidak, itu palsu. Berikut ini beberapa contohnya .

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

kode mesin x86, 29 27 byte

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

Kode perakitan:

    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;

Iterasi atas abyte pada awalnya, lalu atas byte 'b' berikut. Loop pertama meningkatkan penghitung, dan loop kedua menguranginya. Setelah itu, lakukan bitwise ATAU antara kondisi berikut:

1. Jika penghitung tidak 0 pada akhirnya, string tidak cocok
2. Jika byte yang mengikuti urutan bs bukan 0, string juga tidak cocok

Kemudian, itu harus "membalikkan" nilai kebenaran di eax- set ke 0 jika bukan 0, dan sebaliknya. Ternyata kode terpendek untuk melakukannya adalah kode 5-byte berikut, yang saya curi dari output kompiler C ++ saya untuk 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 byte

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

(Ini hanya ide brilian xnor dalam bentuk Ruby. Jawaban saya yang lain adalah solusi yang sebenarnya saya buat sendiri.)

Program mengambil input, mentransformasikan adan bke masing [- ]masing, dan mengevaluasinya.

Input yang valid akan membentuk array bersarang, dan tidak ada yang terjadi. Ekspresi yang tidak seimbang akan membuat program macet. Dalam Ruby input kosong dievaluasi sebagai nil, yang akan macet karena nilbelum menentukan *metode.

Sed, 38 + 2 = 40 byte

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

^{Output string yang tidak kosong benar}

Automata negara terbatas tidak bisa melakukan ini, katamu? Bagaimana dengan automata keadaan terbatas dengan loop . : P

Jalankan dengan rdan nbendera.

Penjelasan

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

^{Dicoret 44 masih teratur 44; (}

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

Bekerja dengan rekursif melucuti luar adan bdan secara rekursif menggunakan nilai dalam dipilih tapi .+. Ketika tidak ada kecocokan di ^a.+b$sebelah kiri, maka hasil akhirnya adalah apakah string yang tersisa adalah nilai yang tepat ab.

Kasus uji:

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 byte

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

Menggunakan konsep yang sama dengan jawaban YACC @ dmckee , hanya sedikit lebih golf.

Untuk mengujinya, ikuti langkah-langkah dalam tutorial Memulai ANTLR . Kemudian, masukkan kode di atas ke dalam file bernama A.g4dan jalankan perintah ini:

$ antlr A.g4
$ javac A*.java

Kemudian uji dengan memberikan input pada STDIN agar grun A rseperti:

$ echo "aaabbb" | grun A r

Jika input valid, tidak ada yang akan dihasilkan; jika tidak valid, grunakan memberikan kesalahan (baik token recognition error, extraneous input, mismatched input, atau no viable alternative).

Contoh penggunaan:

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

C, 69 byte

69 byte:

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

Bagi mereka yang tidak terbiasa:

• strlen menentukan panjang string
• strcspn mengembalikan indeks pertama dalam string di mana string lain ditemukan
• strchr mengembalikan pointer ke kemunculan pertama karakter
• strrchr mengembalikan pointer ke kemunculan karakter terakhir

Terima kasih banyak untuk Titus!

R, 64 61 55 byte, 73 67 byte (kuat) atau 46 byte (jika string kosong diizinkan)

1. Sekali lagi, jawaban xnor dikerjakan ulang. Jika tersirat oleh aturan bahwa input akan terdiri dari string as dan bs, itu harus berfungsi: mengembalikan NULL jika ekspresi valid, melempar dan kesalahan atau tidak sama sekali.

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

2. Jika input tidak kuat dan mungkin mengandung beberapa sampah, misalnya aa3bb, maka versi berikut harus dipertimbangkan (harus mengembalikan TRUEuntuk kasus uji yang benar, bukan NULL):

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

3. Akhirnya, jika string kosong diizinkan, kita dapat mengabaikan kondisi untuk input tidak kosong:

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

   Sekali lagi, NULL jika sukses, apa pun sebaliknya.

Japt , 11 byte

©¬n eȦUg~Y

Cobalah online!

Memberi salah satu trueatau false, kecuali yang ""memberi ""yang palsu di JS.

Dibongkar & Cara kerjanya

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

Diadopsi dari solusi MATL Dennis .

C (Ansi), 65 75 Bytes

Golf:

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;}

Penjelasan:

Tetapkan nilai j dan kenaikan j pada setiap b dan penurunan j pada hal lain. Diperiksa apakah surat sebelumnya kurang dari atau sama dengan surat berikutnya sehingga mencegah abab bekerja

Suntingan

Menambahkan cek untuk kasus abab.

Batch, 133 byte

@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

Mengembalikan nilai ERRORLEVEL0 pada kesuksesan, 1 pada kegagalan. Batch tidak suka melakukan penggantian substring pada string kosong, jadi kami harus memeriksanya di depan; jika parameter kosong legal, baris 6 tidak perlu.

PowerShell v2 +, 61 52 byte

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

Mengambil input $nsebagai string, membuat $xsebagai half the length. Membangun -andperbandingan Boolean antara $ndan -matchoperator regex terhadap regex dengan jumlah yang sama dari adan b. Output Boolean $TRUEatau $FALSE. Apakah $n-andada untuk memperhitungkan ""= $FALSE.

Alternatif, 35 byte

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

Ini menggunakan regex dari jawaban Leaky , berdasarkan pada kelompok penyeimbang .NET, baru saja dienkapsulasi dalam -matchoperator PowerShell . Mengembalikan string untuk kebenaran, atau string kosong untuk falsey.

Pyth - 13 byte

&zqzS*/lz2"ab

Dijelaskan:

  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 byte

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

Contoh penggunaan: p "aabb"-> True.

scanl(\s _->'a':s++"b")"ab"xbuat daftar semua ["ab", "aabb", "aaabbb", ...]dengan total (length x)elemen. elemmemeriksa apakah xada dalam daftar ini.

Python, 43 40 Bytes

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

menghubungkan solusi yang jelas berkat Leaky Nun

ide lain, 45 byte:

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

-4 byte dengan menggunakan len / 2 (saya mendapatkan kesalahan ketika setengahnya terakhir)

sekarang memberi false untuk string kosong

-3 byte terima kasih kepada xnor