ในหนังสือวิทยาศาสตร์คอมพิวเตอร์ที่เป็นที่นิยม (และจำเป็น), คำนำของภาษาทางการและออโตมาตะโดยปีเตอร์ลินซ์, ภาษาทางการดังต่อไปนี้มักถูกกล่าวถึง:

ส่วนใหญ่เป็นเพราะภาษานี้ไม่สามารถประมวลผลด้วยออโต้ จำกัด ขอบเขต การแสดงออกนี้หมายถึง "ภาษา L ประกอบด้วยสตริงทั้งหมดของ 'a's ตามด้วย' b's ซึ่งจำนวนของ 'a's และ' b's เท่ากันและไม่เป็นศูนย์"

ท้าทาย

เขียนโปรแกรม / ฟังก์ชั่นการทำงานที่รับค่าสตริงซึ่งบรรจุ "a" s และ "b" s เท่านั้นเป็นค่าป้อนเข้าและส่งคืน / ส่งออกค่าความจริงโดยบอกว่าสตริงนี้ถูกต้องหรือไม่

• โปรแกรมของคุณไม่สามารถใช้เครื่องมือการคำนวณภายนอกใด ๆ รวมถึงเครือข่ายโปรแกรมภายนอก ฯลฯ เชลล์เป็นข้อยกเว้นสำหรับกฎนี้ Bash เช่นสามารถใช้อรรถประโยชน์บรรทัดคำสั่ง

• โปรแกรมของคุณจะต้องส่งคืน / ส่งออกผลลัพธ์ด้วยวิธี "ตรรกะ" ตัวอย่างเช่น: คืนค่า 10 แทน 0, เสียง "บี๊บ" ส่งออกไปยัง stdout เป็นต้นข้อมูลเพิ่มเติมที่นี่

• บังคับใช้กฎกอล์ฟมาตรฐาน

นี่คือรหัสกอล์ฟ รหัสที่สั้นที่สุดในหน่วยไบต์ชนะ โชคดี!

กรณีทดสอบความจริง

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

กรณีทดสอบเท็จ

""
"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 ไบต์

tSP-

พิมพ์อาร์เรย์ที่ไม่ว่างเปล่าเป็น1วินาทีหากสตริงเป็นของLและอาร์เรย์ว่างหรืออาร์เรย์ที่มี0วินาที (เป็นเท็จทั้งคู่) เป็นอย่างอื่น

ขอบคุณ @LuisMendo สำหรับการลงเล่น 1 ไบต์!

ลองออนไลน์!

มันทำงานอย่างไร

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 ไบต์

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

เอาต์พุตผ่านรหัสออก : ข้อผิดพลาดสำหรับเท็จไม่มีข้อผิดพลาดสำหรับ True

สตริงจะถูกประเมินว่าเป็นงูหลามรหัสแทน parens (สำหรับaและสำหรับ) bเพียง แต่การแสดงออกของรูปแบบa^n b^nกลายเป็นสำนวนที่ดีขึ้นของวงเล็บเช่น((()))การประเมินผลการ ()tuple

parens ที่ไม่ตรงกันใด ๆ ให้ข้อผิดพลาดเช่นเดียวกับหลายกลุ่มเช่น(()())เนื่องจากไม่มีตัวคั่น สตริงว่างยังล้มเหลว (มันจะประสบความสำเร็จในexec)

การแปลง( -> a, ) -> bจะทำโดยใช้str.translateซึ่งแทนที่ตัวอักษรตามที่ระบุโดยสตริงที่ทำหน้าที่เป็นตารางการแปลงเป็น กำหนดสตริงที่มีความยาว 100 ") (" * 50 ตารางจะจับคู่ค่า 100 ASCII แรกเป็น

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

ซึ่งจะใช้เวลา,( -> a ) -> bใน Python 2 คุณต้องระบุการแปลงสำหรับ 256 ASCII ทั้งหมดต้องการ"ab"*128หนึ่งไบต์อีกต่อไป ขอบคุณ isaacg ที่ชี้เรื่องนี้ออกมา

เรติน่า 12 ไบต์

ให้เครดิตแก่ FryAmTheEggman ที่พบวิธีแก้ปัญหานี้อย่างอิสระ

+`a;?b
;
^;$

พิมพ์1สำหรับอินพุตที่ถูกต้องและ0อย่างอื่น

ลองออนไลน์! (บรรทัดแรกเปิดใช้งานชุดทดสอบที่แยกบรรทัดด้วยฟีด)

คำอธิบาย

กลุ่มที่สมดุลต้องใช้ไวยากรณ์ที่มีราคาแพงดังนั้นฉันพยายามลดอินพุตที่ถูกต้องให้เป็นรูปแบบที่เรียบง่าย

ด่าน 1

+`a;?b
;

ตัว+บอกให้ Retina ทำซ้ำขั้นตอนนี้ในลูปจนกว่าเอาต์พุตจะหยุดการเปลี่ยนแปลง มันตรงกับอย่างใดอย่างหนึ่งabหรือและแทนที่มันด้วยa;b ;ลองพิจารณาบางกรณี:

• หากas และbในสตริงจะไม่สมดุลในลักษณะเดียวกับที่(และ)ตามปกติจะต้องมีบางส่วนaหรือbจะยังคงอยู่ในสตริงตั้งแต่baหรือb;aไม่สามารถแก้ไขได้และเป็นหนึ่งเดียวaหรือbในตัวเองไม่ได้ ทั้ง. เพื่อกำจัดของทุกas และbs จะต้องมีหนึ่งที่สอดคล้องไปทางขวาของแต่ละคนba
• ถ้าaและbจะไม่ซ้อนกันทั้งหมด (เช่นถ้าเรามีสิ่งที่ต้องการababหรือaabaabbb) แล้วเราจะจบลงด้วยหลาย;(และอาจบางaและbs) เพราะซ้ำแรกจะได้พบกับหลาย ๆabที่จะใส่พวกเขาและการทำซ้ำต่อไปจะรักษา จำนวนของ;ในสตริง

ดังนั้นถ้าหากว่าการป้อนข้อมูลเป็นรูปแบบเราจะจบลงด้วยการเดี่ยวในสตริงanbn;

ด่าน 2:

^;$

ตรวจสอบว่าสตริงผลลัพธ์มีอะไร แต่อัฒภาคเดียว (เมื่อฉันพูดว่า "ตรวจสอบ" ฉันหมายถึงจริง ๆ "นับจำนวนการแข่งขันของ regex ที่กำหนด แต่เนื่องจาก regex สามารถจับคู่ได้มากที่สุดเนื่องจากการยึดสิ่งนี้ให้อย่างใดอย่างหนึ่ง0หรือ1.)

Haskell, 31 ไบต์

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

ความเข้าใจรายการ[c|c<-"ab",'a'<-s]ทำให้สตริงหนึ่ง'a'สำหรับแต่ละ'a'ในsตามด้วยหนึ่ง'b'สำหรับแต่ละใน'a' sหลีกเลี่ยงการนับโดยการจับคู่ค่าคงที่และสร้างเอาต์พุตสำหรับการแข่งขันแต่ละครั้ง

สายนี้จะถูกตรวจสอบให้เท่ากับสายเดิมและสายเดิมจะถูกตรวจสอบว่าไม่ว่างเปล่า

สิ่งสกปรก 12 ไบต์

A=\aA?\b
e`A

ลองออนไลน์!

คำอธิบาย

บรรทัดแรกกำหนด nonterminal Aซึ่งตรงกับจดหมายฉบับหนึ่งaอาจจะเป็น nonterminal แล้วหนึ่งตัวอักษรA bบรรทัดที่สองตรงกับทั้งการป้อนข้อมูล ( e) กับ Anonterminal

เวอร์ชันที่ไม่ใช่การเข้ารหัส 8 ไบต์

e`\a_?\b

หลังจากเขียนเวอร์ชันแรกของคำตอบนี้ฉันได้อัปเดต Grime เพื่อพิจารณา_เป็นชื่อของนิพจน์ระดับบนสุด วิธีการแก้ปัญหานี้จะเทียบเท่ากับข้างต้น Aแต่หลีกเลี่ยงการทำซ้ำฉลาก

Brachylog , 23 19 ไบต์

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

ลองออนไลน์!

คำอธิบาย

@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 ไบต์

รหัส:

.M{J¹ÔQ0r

คำอธิบาย:

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

สองไบต์สุดท้ายสามารถยกเลิกได้หากอินพุตมีการรับประกันว่าไม่ว่างเปล่า

ใช้การเข้ารหัสCP-1252 ลองออนไลน์! .

เยลลี่ 6 ไบต์

Ṣ=Ṛ¬Pȧ

พิมพ์สตริงตัวเองถ้ามันเป็นของLหรือว่างเปล่าและเป็นอย่างอื่น0

ลองออนไลน์! หรือตรวจสอบกรณีทดสอบทั้งหมด

มันทำงานอย่างไร

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

รุ่นสำรอง 4 ไบต์ (ไม่แข่งขัน)

ṢnṚȦ

พิมพ์1หรือ0 ลองออนไลน์! หรือตรวจสอบกรณีทดสอบทั้งหมด

มันทำงานอย่างไร

Ṣ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 ไบต์

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

สิ่งนี้ทำงานได้อย่างถูกต้องสำหรับการให้ falsey สำหรับสตริงว่าง ข้อผิดพลาดเป็นเท็จ

รุ่นเก่า:

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

หลักฐานและคำอธิบาย

กริยาหลักคือทางแยกที่ประกอบด้วยกริยาทั้งสามนี้:

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

ซึ่งหมายความว่า "จำนวนที่น้อยกว่า ( <.) ความยาว ( #) และผลลัพธ์ของการตีสองหน้าที่ถูกต้อง ( (-:'ab'#~-:@#))"

ซี่ที่ถูกต้องคือรถไฟ 4 ขบวนประกอบด้วย:

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

ให้kเป็นตัวแทนการป้อนข้อมูลของเรา จากนั้นสิ่งนี้เทียบเท่ากับ:

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

-:เป็นผู้ประกอบการจับคู่เพื่อให้ชั้นนำสำหรับการทดสอบความไม่แปรเปลี่ยนภายใต้ส้อมเอก-:'ab' #~ -:@#

เนื่องจากซ้ายของส้อมเป็นกริยามันจะกลายเป็นฟังก์ชันคงที่ ดังนั้นทางแยกจึงเท่ากับ:

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

ขวากหนามทางขวาของครึ่งส้อม ( -:) ความยาว ( #) kของ สังเกต#:

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

ตอนนี้นี่เป็นkเพียงอินพุตที่ถูกต้องเท่านั้นเราจึงเสร็จแล้วที่นี่ #ข้อผิดพลาดสำหรับสตริงที่มีความยาวคี่ซึ่งไม่ตรงกับภาษาดังนั้นเราก็ทำเช่นนั้น

รวมกับความยาวน้อยลงและนี่คือสตริงว่างเปล่าซึ่งไม่ได้เป็นส่วนหนึ่งของภาษาของเราผลผลิตความยาวของมัน0และเราจะทำกับมันทั้งหมด

Bison / YACC 60 (หรือ 29) ไบต์

(การรวบรวมสำหรับโปรแกรม YACC นั้นเป็นสองขั้นตอนดังนั้นอาจต้องการรวมบางอย่างไว้ดูรายละเอียดด้านล่าง)

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

ฟังก์ชั่นควรจะค่อนข้างชัดเจนหากคุณรู้ว่าจะตีความในแง่ของไวยากรณ์ที่เป็นทางการ ตัวแยกวิเคราะห์ยอมรับอย่างใดอย่างหนึ่งabหรือaตามลำดับที่ยอมรับใด ๆ bตามมาด้วย

การนำไปใช้นี้อาศัยคอมไพเลอร์ที่ยอมรับ K&R ซีแมนทิกส์ในการสูญเสียอักขระบางตัว

มัน wordier กว่าที่ฉันอยากมีความจำเป็นในการกำหนดและเพื่อเรียกร้องyylexgetchar

รวบรวมกับ

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

(ตัวเลือกส่วนใหญ่สำหรับ gcc นั้นเฉพาะกับระบบของฉันและไม่ควรนับรวมกับจำนวนไบต์คุณอาจต้องการนับ-std=c89ว่าเพิ่ม 8 ในค่าที่แสดงรายการ)

ทำงานด้วย

$ echo "aabb" | ./equal

หรือเทียบเท่า.

ค่าความจริงจะถูกส่งคืนไปยังระบบปฏิบัติการและข้อผิดพลาดsyntax errorจะรายงานไปยังบรรทัดคำสั่งด้วย ถ้าฉันสามารถนับเฉพาะส่วนของรหัสที่กำหนดฟังก์ชั่นการแยก (นั่นคือการละเลยที่สอง%%และทั้งหมดที่ตามมา) ฉันได้รับนับ 29 ไบต์

Perl 5.10, 35 17 ไบต์ (พร้อมแฟล็ก -n )

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

ตรวจสอบให้แน่ใจว่าสตริงเริ่มต้นด้วยas แล้วเรียกbซ้ำบนs มันตรงกันเฉพาะในกรณีที่ความยาวทั้งสองเท่ากัน

ขอบคุณMartin Ender ที่ลดจำนวนไบต์ลงและสอนฉันเล็กน้อยเกี่ยวกับการเรียกซ้ำใน regexes: D

มันจะส่งกลับสตริงทั้งหมดถ้ามันตรงและไม่มีอะไรถ้าไม่

ลองที่นี่!

JavaScript, 54 55 44

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

สร้าง regex อย่างง่ายตามความยาวของสตริงและทดสอบ สำหรับความยาว 4 สตริง ( aabb) regex ดูเหมือนว่า:^a{2}b{2}$

ส่งคืนค่าความจริงหรือเท็จ

บันทึก 11 ไบต์ด้วย 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 ไบต์

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

วิธีแก้ปัญหาแบบยาวขนาด 57 ไบต์เก่า:

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

คอมไพล์ด้วย gcc v. 4.8.2 @Ubuntu

ขอบคุณ ugoren สำหรับเคล็ดลับ!

ลองใช้กับ Ideone!

เรติน่า 22 ไบต์

อีกคำตอบที่สั้นกว่าในภาษาเดียวกันเพิ่งมา ...

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

ลองออนไลน์!

นี่คือการจัดแสดงกลุ่มสมดุลใน regex ซึ่งอธิบายโดย Martin Enderอย่างสมบูรณ์

เนื่องจากคำอธิบายของฉันไม่ใกล้เคียงกับครึ่งหนึ่งของมันฉันจะแค่ลิงก์ไปยังมันและไม่พยายามอธิบายเพราะนั่นจะเป็นอันตรายต่อความรุ่งโรจน์ของคำอธิบายของเขา

Befunge-93, 67 bytes

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

ลองที่นี่! อาจอธิบายได้ว่ามันทำงานอย่างไรในภายหลัง อาจลองเล่นกอล์ฟอีกสักหน่อยเพื่อเตะ

MATL , 9 ไบต์

vHI$e!d1=

ลองออนไลน์!

อาร์เรย์เอาต์พุตเป็นจริงถ้าไม่ว่างเปล่าและรายการทั้งหมดเป็นค่าที่ไม่ใช่ศูนย์ มิฉะนั้นมันจะผิดพลาด นี่คือตัวอย่างบางส่วน

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

รหัสเครื่อง x86, 29 27 ไบต์

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

รหัสการประกอบ:

    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;

วนซ้ำaไบต์ในตอนต้นจากนั้นตามด้วย 'b' ไบต์ต่อไปนี้ ลูปแรกเพิ่มตัวนับและลูปที่สองจะลดลง หลังจากนั้นทำ bitwise OR ระหว่างเงื่อนไขต่อไปนี้:

1. ถ้าตัวนับไม่เป็น 0 ท้ายสตริงจะไม่ตรงกัน
2. หากไบต์ที่ตามลำดับbs ไม่ใช่ 0 สตริงจะไม่ตรงกัน

จากนั้นจะต้อง "สลับ" ค่าความจริงเป็นeax- ตั้งค่าเป็น 0 หากไม่ใช่ 0 และในทางกลับกัน ปรากฎว่ารหัสที่สั้นที่สุดที่จะทำคือรหัส 5 ไบต์ต่อไปนี้ซึ่งฉันขโมยมาจากผลลัพธ์ของคอมไพเลอร์ C ++ ของฉันสำหรับ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

ทับทิมขนาด 24 ไบต์

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

(นี่เป็นเพียงความคิดที่ยอดเยี่ยมของ xnorในรูปแบบ Ruby คำตอบอื่น ๆ ของฉันคือวิธีแก้ปัญหาที่ฉันคิดขึ้นเอง)

โปรแกรมรับอินพุตแปลงaและbไปยัง[และ]ตามลำดับและประเมินผล

อินพุตที่ถูกต้องจะสร้างอาร์เรย์ที่ซ้อนกันและไม่มีอะไรเกิดขึ้น นิพจน์ที่ไม่สมดุลจะทำให้โปรแกรมขัดข้อง ในอินพุตที่ว่างของ Ruby ถูกประเมินว่าnilจะเกิดปัญหาเนื่องจากnilยังไม่ได้กำหนด*วิธีการ

Sed, 38 + 2 = 40 ไบต์

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

^{เอาต์พุตสตริงที่ไม่ว่างเปล่าเป็นจริง}

ออโตมาต้าสถานะอัน จำกัด ไม่สามารถทำสิ่งนี้คุณพูด? สิ่งที่เกี่ยวกับออสถานะ จำกัด กับลูป : P

ทำงานด้วยrและตั้งnค่าสถานะ

คำอธิบาย

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

^{ข้ามไป 44 ยังคงเป็นปกติ 44; (}

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

ทำงานโดยการซ้ำลอกออกด้านนอกaและbและใช้ค่าซ้ำภายในที่เลือก .+แต่ เมื่อไม่มีการจับคู่^a.+b$ทางซ้ายผลลัพธ์สุดท้ายคือสตริงที่เหลือนั้นเป็นค่าที่แน่นอนabหรือไม่

กรณีทดสอบ:

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 ไบต์

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

ใช้แนวคิดเดียวกันกับคำตอบ YACCของ @ dmckeeซึ่งเพิ่มขึ้นเพียงเล็กน้อย

ในการทดสอบตามขั้นตอนใน ANTLR ของการเดินทางเริ่มต้นกวดวิชา จากนั้นใส่รหัสข้างต้นลงในไฟล์ชื่อA.g4และเรียกใช้คำสั่งเหล่านี้:

$ antlr A.g4
$ javac A*.java

จากนั้นทดสอบโดยให้อินพุตกับ STDIN เป็นgrun A rดังนี้:

$ echo "aaabbb" | grun A r

หากอินพุตถูกต้องจะไม่มีการส่งออก ถ้ามันไม่ถูกต้องgrunจะทำให้เกิดข้อผิดพลาด (อย่างใดอย่างหนึ่งtoken recognition error, extraneous input, mismatched inputหรือno viable alternative)

ตัวอย่างการใช้งาน:

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

C, 69 ไบต์

69 ไบต์:

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

สำหรับผู้ที่ไม่คุ้นเคย:

• strlen กำหนดความยาวของสตริง
• strcspn ส่งคืนดัชนีแรกในสตริงที่พบสตริงอื่น
• strchr ส่งกลับตัวชี้ไปที่การเกิดขึ้นครั้งแรกของตัวละคร
• strrchr ส่งกลับตัวชี้ไปยังการเกิดขึ้นครั้งสุดท้ายของตัวละคร

ขอบคุณมากที่ติตัส!

R, 64 61 55 ไบต์, 73 67 ไบต์ (แข็งแรง) หรือ 46 ไบต์ (หากอนุญาตให้ใช้สตริงว่าง)

1. อีกครั้งคำตอบของ xnorทำใหม่ ถ้ามันถูกบอกเป็นนัยโดยกฎที่อินพุตจะประกอบด้วยสตริงของas และbs มันควรจะใช้งานได้: คืนค่า NULL ถ้านิพจน์นั้นถูกต้องโยนและผิดพลาดหรือไม่มีอะไรเป็นอย่างอื่น

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

2. หากอินพุตไม่แข็งแรงและอาจมีขยะบางส่วนเช่นaa3bbนั้นควรพิจารณาเวอร์ชันต่อไปนี้ (ต้องส่งคืนTRUEสำหรับกรณีทดสอบจริงไม่ใช่ NULL):

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

3. ในที่สุดหากอนุญาตให้ใช้สตริงว่างเราสามารถละเว้นเงื่อนไขสำหรับอินพุตที่ไม่ว่าง:

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

   อีกครั้ง NULL ถ้าสำเร็จไม่มีอะไรเป็นอย่างอื่น

Japt , 11 ไบต์

©¬n eȦUg~Y

ลองออนไลน์!

ให้อย่างใดอย่างหนึ่งtrueหรือfalseยกเว้นที่""ให้""ซึ่งเป็นเท็จใน JS

เอาออกแล้วมันทำงานอย่างไร

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

บุญธรรมจากเดนนิสแก้ปัญหา MATL

C (Ansi), 65 75 ไบต์

แข็งแรงเล่นกอล์ฟ:

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

คำอธิบาย:

ตั้งค่า j และเพิ่มค่า j ในแต่ละ b และลดค่า j ในสิ่งอื่นใด ตรวจสอบว่าตัวอักษรก่อนหน้านั้นน้อยกว่าหรือเท่ากับตัวอักษรตัวถัดไปเพื่อป้องกันไม่ให้ abab ทำงาน

การแก้ไข

เพิ่มการตรวจสอบกรณี abab

แบตช์ 133 ไบต์

@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

ส่งคืนค่าเป็นERRORLEVEL0 จากความสำเร็จและ 1 เมื่อล้มเหลว แบทช์ไม่ชอบเปลี่ยนซับสตริงในสตริงว่างดังนั้นเราต้องตรวจสอบก่อน หากพารามิเตอร์ว่างเปล่าถูกกฎหมายบรรทัด 6 จะไม่จำเป็น

PowerShell v2 +, 61 52 ไบต์

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

จะเข้า$nเป็นสตริงสร้างเป็น$x half the lengthการสร้างการ-andเปรียบเทียบบูลีนระหว่าง$nและ-matchโอเปอเรเตอร์ regex เทียบกับ regex ของa's และb' s จำนวนเท่ากัน เอาท์พุทบูลีนหรือ$TRUE $FALSEนี่$n-andคือการบัญชีสำหรับ""= $FALSE.

ทางเลือก 35 ไบต์

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

สิ่งนี้ใช้ regex จากคำตอบของ Leakyโดยอิงตามกลุ่มการดุล. NET เพียงห่อหุ้มใน-matchโอเปอเรเตอร์PowerShell ส่งคืนสตริงสำหรับสัจจะหรือสตริงว่างสำหรับเท็จ

Pyth - 13 ไบต์

&zqzS*/lz2"ab

อธิบาย:

  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 ไบต์

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

ตัวอย่างการใช้งาน: ->p "aabb"True

scanl(\s _->'a':s++"b")"ab"xสร้างรายการทั้งหมด["ab", "aabb", "aaabbb", ...]ด้วย(length x)องค์ประกอบทั้งหมด elemตรวจสอบว่าxอยู่ในรายการนี้

Python 43 43 Bytes

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

แสดงวิธีการแก้ปัญหาที่ชัดเจนด้วยLeaky Nun

ความคิดอื่น ๆ 45 ไบต์:

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

-4 ไบต์โดยใช้ len / 2 (ฉันได้รับข้อผิดพลาดเมื่อครึ่งมาสุดท้าย)

ตอนนี้ให้เท็จสำหรับสตริงที่ว่างเปล่า

-3 ไบต์ขอบคุณ xnor