Замена кавычек

[Николай]

Замена кавычек

Мне надо кавычки " и " заменить на их html эквиваленты: « и »(« »). В принципе все просто, но если кавычек несколько:
"Этот текст: "Самый Крутой Текст!!!"", как быть в этом случае? Насколько я понимаю, вторые кавычки надо заменить на ” и “. Но как это воплотить на PHP?
А если:
""тт"ттт"""ттт"тчты"

Помогите, может кто встречался с такой проблемой?

 

[Crazy]

Ответ: эта задача не имеет рещения. Ибо по правилам русского языка приведенный тобой пример пишется так:

"Этот текст: "Самый Крутой Текст!!!"

Т.к. в конце ставится только одна закрывающая кавычка. Поэтому без понимания текст расставить "лапки" абсолютно корректно невозможно.

Если забыть о русском языке, то тебе поможет простой конечный автомат.

 

[Николай]

2 Crazy:
А как же http://www.artlebedev.ru/tools/typograf/
Введи там этот пример:
"Этот текст: "Самый Крутой Текст!!!""

 

[Николай]

Меня интересует именно вариант:
"Если забыть о русском языке"

 

[Crazy]

Автор оригинала: Николай
Меня интересует именно вариант:
"Если забыть о русском языке"

Тогда используй следующие правила:

1. Если справа от кавычки стоит буква, то кавычка открывающая.
2. Если слева от кавычки стоит буква, то кавычка закрывающая.
3. В неясных случаях используй подсчет вложенности.

 

[Николай]

OK.
А как насчет "неясных случаях", подскажи как конкретно с ними работать.