Є JSON регулярною мовою?

Мені було цікаво, чи специфіка JSON визначає звичайну мову. Це здається досить простим, але я не впевнений, як це довести сам.

Причина, яку я запитую, полягає в тому, що мені було цікаво, чи можна використовувати регулярні вирази для ефективного розбору JSON.

Чи міг би хтось із достатньою кількістю представників створити для мене теги json та regular-language ?

fl.formal-languages regular-expressions regular-language

— jjnguy
джерело

Я видалив тег [json], оскільки він, здається, не варто тегу на TCS SE.

— Цуйосі Іто

@Tsuy, добре звучить. Очевидно, що я не завзятий користувач сайту, тому я впевнений, що ти знаєш краще.

— jjnguy

Пам’ятайте, що впровадження регулярних виразів часто відповідає більш ніж звичайним мовам. Наприклад, ви можете використовувати lookaheads у більшості реалізацій, які вірно приймуть , вирішуючи проблему згадану нижче.

a^{n} b^{n}

$a^nb^n$

[^{n} x]^{n}

$[^nx]^n$

— Xodarap

Відповіді:

Оскільки не є звичайною мовою, то і JSON не є, оскільки є дійсним введенням для будь-якого . Аналогічно, ваш регулярний аналізатор виразів повинен був би правильно відхилити будь-який вхід де що ви не можете зробити з регулярними виразами. $a^n b^n$ $[^n 5 ]^n$ $n$ $[^m 4 ]^n$ $m \ne n$

Отже, JSON не є регулярним.

— RegexFan
джерело

Цікаво, що тут використовується тут із позначенням суперскрипту / дужки?

— jchook

@jchook Суперскрипт означає «повторюється». Так

буде

повторювані

раз. Аналогічно позначення

означає

повторено

разів. Дужки не мають особливого значення. Звичайна мова не може «підрахувати» кількість дужок на кожній стороні, тому вони не можуть визначити, чи мають обидві сторони однакову кількість дужок.

a^{n}

$a^n$

a

$a$

n

$n$

[^{n}

$[^n$

[

$[$

n

$n$

— Нік Оделл

Ні, це не регулярно. Оскільки це дозволяє довільно вставляти збалансовані роздільники, воно повинно бути принаймні без контексту.

Наприклад, розглянемо масив масивів масивів:

[ [ [ 1, 2], [2, 3] ] , [ [ 3, 4], [ 4, 5] ] ]

Зрозуміло, ви не могли розібратися з справжніми регулярними виразами.

— Марк Хаман
джерело

Для тупих мудрувати, то JSON представлення всіх масивів масивів масивів цілих чисел є регулярним.

— Чарльз Стюарт

Потім продовжуйте додавати "масиви" рекурсивно, поки не будете задоволені. ;-)

— Марк Хаманн

Стандартний JSON є без контексту, але більшість реалізацій підтримують лише унікальні ключі. Я переніс своє без відповіді на запитання із stackoverflow

— Якоб

Зауважте, що я сказав "принаймні без контексту".

— Марк Хаманн

Розширюючись на коментар @ CharlesStewart, чи означає це, що "JSON зі строгою максимальною глибиною є звичайною мовою"? Або інші функції JSON запобігають цьому?

— jchook