сайты - меню - вход - но­во­сти


Поиск
?


Скопировать ссылку на результаты поиска

Всего: 71    1–20 | 21–40 | 41–60 | 61–71

Добавить в вариант

По­строй­те схему, вы­пол­ня­ю­щую умно­же­ние вво­ди­мо­го числа в чет­ве­рич­ной си­сте­ме на 3.

Дан­ная схема со­сто­ит из вер­шин (на­зы­ва­е­мых со­сто­я­ни­я­ми) и стре­лок, сим­во­ли­зи­ру­ю­щих пра­ви­ла, по ко­то­рым ра­бо­та­ет эта схема. Схема на­чи­на­ет ра­бо­ту в на­чаль­ном со­сто­я­нии S0, вы­де­лен­ном оран­же­вым. По­сту­па­ю­щее на ход число ана­ли­зи­ру­ет­ся по­сим­воль­но. При рас­смот­ре­нии каж­до­го сим­во­ла мы пе­ре­хо­дим из те­ку­ще­го со­сто­я­ния по стре­лоч­ке, над ко­то­рой на­пи­сан этот сим­вол.

В дан­ной за­да­че мы за­пи­сы­ва­ем число от по­след­ней цифры к пер­вой. Если ко­ли­че­ство цифр в про­из­ве­де­нии боль­ше ко­ли­че­ства цифр в мно­жи­те­ле, для пра­виль­ной ра­бо­ты ав­то­ма­та к мно­жи­те­лю спе­ре­ди нужно до­ба­вить 0 (т. е. до­ба­вить 0 в конце вво­ди­мой стро­ки).

На­при­мер, для стро­ки 123 ав­то­мат вы­даст стро­ку 322, а для стро­ки 1230 (со­от­вет­ству­ю­щей тому же са­мо­му чет­ве­рич­но­му числу 321) вы­даст ре­зуль­тат 3222 (со­от­вет­ству­ю­щий числу 2223).


На­пи­ши­те ло­ги­че­скую фор­му­лу, опи­сы­ва­ю­щую свой­ство, ко­то­рым об­ла­да­ет ком­би­на­ция фишек на левой кар­тин­ке, но не об­ла­да­ет ком­би­на­ция на пра­вой. По­ста­рай­тесь, чтобы опи­са­ние было как можно ко­ро­че.

В фор­му­ле ис­поль­зу­ют­ся сле­ду­ю­щие обо­зна­че­ния:

Фишки обо­зна­ча­ют­ся пе­ре­мен­ны­ми x, y, z. Про­стые свой­ства опи­сы­ва­ют­ся та­ки­ми вы­ра­же­ни­я­ми как «x синий», «y крас­ный», «z жел­тый», «x сосед y» (по­след­нее озна­ча­ет, что фишки стоят на раз­лич­ных клет­ках, у ко­то­рых есть общая сто­ро­на или угол). Для за­пи­си более слож­ных свойств ис­поль­зу­ют­ся ло­ги­че­ские связ­ки, ко­то­рые со­еди­ня­ют про­стые свой­ства:

И, ИЛИ, НЕ ВЕРНО ЧТО, СЛЕ­ДО­ВА­ТЕЛЬ­НО, ТОГДА И ТОЛЬ­КО ТОГДА, ДЛЯ ВСЕХ x, СУ­ЩЕ­СТВУ­ЕТ x ТАКОЙ, ЧТО (вме­сто x можно ис­поль­зо­вать y или z).

Для упо­ря­до­че­ния свя­зок ис­поль­зу­ют­ся круг­лые скоб­ки. В ка­че­стве на­чаль­но­го ре­ше­ния вве­де­на фор­му­ла, ко­то­рая не верна для обоих кар­ти­нок.


Опе­ра­ция умно­же­ния тре­бу­ет су­ще­ствен­но боль­ше эле­мен­тар­ных опе­ра­ций чем опе­ра­ция сло­же­ния (или вы­чи­та­ния), по­это­му для по­вы­ше­ния эф­фек­тив­но­сти ал­го­рит­мов при­ме­ня­ют ал­геб­ра­и­че­ские при­е­мы, ко­то­рые за счет уве­ли­че­ния числа опе­ра­ций сло­же­ния и вы­чи­та­ния ис­поль­зу­ют мень­ше опе­ра­ций умно­же­ния.

Вы­ра­же­ние a в кубе плюс b в кубе минус c в кубе легко можно вы­чис­лить ис­поль­зуя 6 опе­ра­ций умно­же­ния: для воз­ве­де­ния каж­до­го числа в куб тре­бу­ет­ся две опе­ра­ции. При­ду­май­те ал­го­ритм вы­чис­ле­ния этой суммы за мень­шее число опе­ра­ций умно­же­ния. Чем мень­ше опе­ра­ций, тем выше будет оцен­ка за за­да­чу.


За круг­лым сто­лом сидят че­ты­ре че­ло­ве­ка. Каж­дый из них либо ры­царь, либо лжец. Ры­ца­ри все­гда го­во­рят толь­ко прав­ду, а лжецы все­гда лгут. По­строй­те ло­ги­че­скую схему, ко­то­рая при­ни­ма­ет зна­че­ние ис­ти­на тогда и толь­ко тогда, когда каж­дый из си­дя­щих за сто­лом может про­из­не­сти фразу «Оба моих со­се­да лжецы».

На ло­ги­че­ской схеме входы со­от­вет­ству­ют людям: нули обо­зна­ча­ют лже­цов, а еди­ни­цы ры­ца­рей. Со­сед­ние входы со­от­вет­ству­ют со­сед­ним людям, кроме того, по­сколь­ку стол круг­лый, верх­ний вход будем счи­тать со­сед­ним с ниж­ним. Раз­ре­ша­ет­ся ис­поль­зо­вать ло­ги­че­ские эле­мен­ты AND (и), OR (или), NOT (не) и XOR (ис­клю­ча­ю­щее или).


За круг­лым сто­лом сидит n > 2 че­ло­век. Каж­дый из них либо ры­царь, либо лжец. Ры­ца­ри все­гда го­во­рят толь­ко прав­ду, а лжецы все­гда лгут. Опи­ши­те спо­соб по­стро­е­ния ло­ги­че­ской схемы c n вхо­да­ми, ко­то­рая при­ни­ма­ет зна­че­ние ис­ти­на тогда и толь­ко тогда, когда каж­дый из си­дя­щих за сто­лом может про­из­не­сти фразу «Оба моих со­се­да лжецы».

На ло­ги­че­ской схеме входы со­от­вет­ству­ют людям: нули обо­зна­ча­ют лже­цов, а еди­ни­цы ры­ца­рей. Со­сед­ние входы со­от­вет­ству­ют со­сед­ним людям, кроме того, по­сколь­ку стол круг­лый, верх­ний вход будем счи­тать со­сед­ним с ниж­ним.

Раз­ре­ша­ет­ся ис­поль­зо­вать ло­ги­че­ские эле­мен­ты AND (и), OR (или), NOT (не) и XOR (ис­клю­ча­ю­щее или).


На не­ко­то­рых клет­ках квад­рат­ной клет­ча­той доски стоят ры­ца­ри, ко­то­рые го­во­рят толь­ко прав­ду, а на не­ко­то­рых  — лжецы, ко­то­рые все­гда лгут. Не­ко­то­рые клет­ки могут быть сво­бод­ны; на каж­дой клет­ке стоит не более од­но­го че­ло­ве­ка. Ры­ца­ри обо­зна­че­ны свет­лы­ми (го­лу­бы­ми) круж­ка­ми, лжецы  — тёмными (крас­ны­ми).

Со­ставь­те ло­ги­че­ское вы­ра­же­ние, ко­то­рое ис­тин­но тогда и толь­ко тогда, когда каж­дый из сто­я­щих на доске че­ло­век может про­из­не­сти фразу «Все мои со­се­ди лжецы».

На левой кар­тин­ке изоб­ражён при­мер, удо­вле­тво­ря­ю­щий усло­вию за­да­чи, на левой  — не удо­вле­тво­ря­ю­щий.


Ры­ца­ри, ко­то­рые го­во­рят толь­ко прав­ду, и лжецы, ко­то­рые все­гда лгут, вы­стро­и­лись в ряд. (В ряду хотя бы один че­ло­век).Каж­дый из них про­изнёс фразу «Все мои со­се­ди лжецы». Обо­зна­чим ры­ца­ря бук­вой Р, а лжеца  — бук­вой Л. Тогда каж­дой по­сле­до­ва­тель­но­сти ры­ца­рей и лже­цов, для ко­то­рой вы­пол­ня­ет­ся усло­вие за­да­чи, со­от­вет­ству­ет не­ко­то­рое слово.

Опи­ши­те это слово, ис­поль­зуя фор­му­лу, ко­то­рая на­зы­ва­ет­ся ре­гу­ляр­ным вы­ра­же­ни­ем. Такое вы­ра­же­ние стро­ит­ся с по­мо­щью опи­сы­ва­е­мых ниже опе­ра­ций «ите­ра­ция», «умно­же­ние», «сло­же­ние».

Так для по­вто­ре­ния блока из не­сколь­ких букв ис­поль­зуй­те опе­ра­цию «звез­доч­ка» (ите­ра­ция), на­при­мер, (abb)* за­да­ет мно­же­ство слов {пу­стое слово, abb, abbabb, abbabbabb, …}. Умно­же­ние мно­жеств (эту опе­ра­цию, как обыч­но в ал­геб­ре, изоб­ра­жа­ют точ­кой при­пи­сы­ва­ни­ем вто­ро­го опе­ран­да вслед за пер­вым, что мы и будем де­лать), опи­сы­ва­ет склей­ку всех слов пер­во­го мно­же­ства со сло­ва­ми вто­ро­го (тре­тье­го и т. д.), на­при­мер a*cb* обо­зна­ча­ет мно­же­ство слов: {с, ac, cb, acb, aac,..., aaa...acb...b, ...}. Об­ра­ти­те вни­ма­ние что слова, в ко­то­рых нет букв a или b, по­лу­ча­ют­ся за счет того, что ре­зуль­тат ите­ра­ции может не со­дер­жать сим­во­лов, то есть быть пу­стым сло­вом.

По­след­ней опе­ра­ци­ей, ко­то­рая ис­поль­зу­ет­ся в фор­му­лах, яв­ля­ет­ся сло­же­ние. Сло­же­ние со­от­вет­ству­ет объ­еди­не­нию мно­жеств. Так, обо­зна­че­ние (a + b)*c + d(ac* + ) опи­сы­ва­ет мно­же­ство всех по­сле­до­ва­тель­но­стей из букв a и b (обо­зна­ча­ет­ся (a + +b)*), к концу ко­то­рых при­со­еди­не­на буква c, объ­еди­нен­но­го с мно­же­ством слов, на­чи­на­ю­щих­ся с буквы d, за ко­то­рой сле­ду­ет буква a, а за ней любое число букв c и ещё одним од­но­бук­вен­ным сло­вом (d умно­жить на пу­стое слово  — это d).


Ры­ца­ри, ко­то­рые го­во­рят толь­ко прав­ду, и лжецы, ко­то­рые все­гда лгут, вы­стро­и­лись в ряд. (В ряду хотя бы один че­ло­век). Каж­дый из них про­изнёс фразу «Все мои со­се­ди лжецы». Обо­зна­чим ры­ца­ря бук­вой Р, а лжеца  — бук­вой Л. Тогда каж­дой по­сле­до­ва­тель­но­сти ры­ца­рей и лже­цов, для ко­то­рой вы­пол­ня­ет­ся усло­вие за­да­чи, со­от­вет­ству­ет не­ко­то­рое слово.

По­строй­те схему, ко­то­рая будет рас­по­зна­вать слова в ал­фа­ви­те {Л, Р}, со­от­вет­ству­ю­щие опи­сан­ным в за­да­че по­сле­до­ва­тель­но­стям ры­ца­рей и лже­цов.

Дан­ная схема со­сто­ит из вер­шин (на­зы­ва­е­мых со­сто­я­ни­я­ми) и стре­лок. Каж­дая стрел­ка со­еди­ня­ет два со­сто­я­ния и сим­во­ли­зи­ру­ет пе­ре­ход схемы из пер­во­го со­сто­я­ния во вто­рое..

Схема на­чи­на­ет ра­бо­ту в на­чаль­ном со­сто­я­нии S0. По­сту­па­ю­щее на вход слово ана­ли­зи­ру­ет­ся по­сим­воль­но. При ана­ли­зе каж­до­го сим­во­ла схема пе­ре­хо­дит из те­ку­ще­го со­сто­я­ния по стрел­ке, над ко­то­рой на­пи­сан этот сим­вол.

После того, как всё слово про­ана­ли­зи­ро­ва­но, схема за­кан­чи­ва­ет ра­бо­ту в одном из со­сто­я­ний.

Не­ко­то­рые со­сто­я­ния не­об­хо­ди­мо по­ме­тить как ко­неч­ные (жир­ная каёмка). Это те со­сто­я­ния, в ко­то­рых схема ока­зы­ва­ет­ся, в слу­чае, если по­сту­пив­шее на вход схемы слово со­от­вет­ству­ет усло­вию.


Вдоль длин­ной улицы рас­по­ло­же­ны дома, в каж­дом из ко­то­рых живёт по од­но­му че­ло­ве­ку. Каж­дый из жи­те­лей улицы яв­ля­ет­ся сто­рон­ни­ком одной из двух по­ли­ти­че­ских пар­тий: 1 или 2. Каж­дый день каж­дый че­ло­век об­ща­ет­ся со всеми сво­и­ми со­се­дя­ми (с одним со­се­дом, если че­ло­век живёт в на краю улицы и с обо­и­ми со­се­дя­ми в осталь­ных слу­ча­ях). За ночь он об­ду­мы­ва­ет по­лу­чен­ную от них ин­фор­ма­цию, и если ока­зы­ва­ет­ся, что двое его со­се­дей яв­ля­ют­ся сто­рон­ни­ка­ми про­ти­во­по­лож­ной по­ли­ти­че­ской пар­тии, к утру че­ло­век ме­ня­ет свои взгля­ды.

На ленте за­пи­са­на про­из­воль­ная по­сле­до­ва­тель­ность еди­ниц и двоек, со­от­вет­ству­ю­щая по­ли­ти­че­ским взгля­дам жи­те­лей улицы в какой-то из дней. По­строй­те ма­ши­ну Тью­рин­га, ко­то­рая пре­об­ра­зу­ет эту стро­ку в стро­ку, со­от­вет­ству­ю­щую по­ли­ти­че­ским взгля­дам жи­те­лей улицы на сле­ду­ю­щий день.


Во­круг круг­лой пло­ща­ди рас­по­ло­же­ны 2017 домов, в каж­дом из ко­то­рых живёт по од­но­му че­ло­ве­ку. Каж­дый из жи­те­лей пло­ща­ди яв­ля­ет­ся сто­рон­ни­ком одной из двух по­ли­ти­че­ских пар­тий: 1 или 2. Каж­дый день каж­дый че­ло­век об­ща­ет­ся с обо­и­ми сво­и­ми со­се­дя­ми. За ночь он об­ду­мы­ва­ет по­лу­чен­ную от них ин­фор­ма­цию, и если ока­зы­ва­ет­ся, что оба его со­се­да яв­ля­ют­ся сто­рон­ни­ка­ми про­ти­во­по­лож­ной по­ли­ти­че­ской пар­тии, к утру че­ло­век ме­ня­ет свои взгля­ды. Верно ли, что когда-ни­будь по­ли­ти­че­ские взгля­ды жи­те­лей улицы ста­би­ли­зи­ру­ют­ся?


Вдоль длин­ной улицы рас­по­ло­же­ны дома (хотя бы два), в каж­дом из ко­то­рых живёт по од­но­му че­ло­ве­ку. Каж­дый из жи­те­лей улицы яв­ля­ет­ся сто­рон­ни­ком одной из двух по­ли­ти­че­ских пар­тий: 1 или 2. Каж­дый день каж­дый че­ло­век об­ща­ет­ся со всеми сво­и­ми со­се­дя­ми (с одним со­се­дом, если че­ло­век живёт в на краю улицы и с обо­и­ми со­се­дя­ми в осталь­ных слу­ча­ях). За ночь он об­ду­мы­ва­ет по­лу­чен­ную от них ин­фор­ма­цию, и если ока­зы­ва­ет­ся, что двое его со­се­дей яв­ля­ют­ся сто­рон­ни­ка­ми про­ти­во­по­лож­ной по­ли­ти­че­ской пар­тии, к утру че­ло­век ме­ня­ет свои взгля­ды.

На вход подаётся про­из­воль­ная по­сле­до­ва­тель­ность еди­ниц и двоек, со­от­вет­ству­ю­щая по­ли­ти­че­ским взгля­дам жи­те­лей улицы в какой-то из дней. По­строй­те схему, ко­то­рая пре­об­ра­зу­ет ко­то­рая пре­об­ра­зу­ет эту стро­ку в стро­ку, со­от­вет­ству­ю­щую по­ли­ти­че­ским взгля­дам жи­те­лей улицы на сле­ду­ю­щий день.

Дан­ная схема со­сто­ит из вер­шин (на­зы­ва­е­мых со­сто­я­ни­я­ми) и стре­лок. Каж­дая стрел­ка со­еди­ня­ет два со­сто­я­ния и сим­во­ли­зи­ру­ет пе­ре­ход схемы из пер­во­го со­сто­я­ния во вто­рое..

Схема на­чи­на­ет ра­бо­ту в на­чаль­ном со­сто­я­нии S0. По­сту­па­ю­щее на вход слово ана­ли­зи­ру­ет­ся по­сим­воль­но. При ана­ли­зе каж­до­го сим­во­ла схема пе­ре­хо­дит из те­ку­ще­го со­сто­я­ния по стрел­ке, над ко­то­рой на­пи­сан этот сим­вол. При этом сим­вол, на­пи­сан­ный над стрел­кой через за­пя­тую, подаётся на выход.


В не­ко­то­рой ком­па­нии у каж­до­го че­ло­ве­ка по 3 друга. Каж­дый из них яв­ля­ет­ся сто­рон­ни­ком одной из двух по­ли­ти­че­ских пар­тий: крас­ной или синей. Каж­дый день каж­дый че­ло­век об­ща­ет­ся со всеми сво­и­ми дру­зья­ми. За ночь он об­ду­мы­ва­ет по­лу­чен­ную от них ин­фор­ма­цию, и если ока­зы­ва­ет­ся, что боль­шин­ство его дру­зей яв­ля­ют­ся сто­рон­ни­ка­ми про­ти­во­по­лож­ной по­ли­ти­че­ской пар­тии, к утру че­ло­век ме­ня­ет свои взгля­ды.

По­строй­те при­мер ком­па­нии и ис­ход­но­го рас­пре­де­ле­ния по­ли­ти­че­ских сим­па­тий, при ко­то­ром ста­би­ли­за­ции по­ли­ти­че­ских взгля­дов не про­ис­хо­дит.


В не­ко­то­рой ком­па­нии у каж­до­го че­ло­ве­ка по 3 друга. Каж­дый из них яв­ля­ет­ся сто­рон­ни­ком одной из двух по­ли­ти­че­ских пар­тий: крас­ной или синей. Каж­дый день каж­дый че­ло­век об­ща­ет­ся со всеми сво­и­ми дру­зья­ми. За ночь он об­ду­мы­ва­ет по­лу­чен­ную от них ин­фор­ма­цию, и если ока­зы­ва­ет­ся, что боль­шин­ство его дру­зей яв­ля­ют­ся сто­рон­ни­ка­ми про­ти­во­по­лож­ной по­ли­ти­че­ской пар­тии, к утру че­ло­век ме­ня­ет свои взгля­ды.

До­ка­жи­те, что для любой ком­па­нии су­ще­ству­ет ис­ход­ное рас­пре­де­ле­ние по­ли­ти­че­ских взгля­дов при ко­то­ром в даль­ней­шем ста­би­ли­за­ции по­ли­ти­че­ских взгля­дов не про­ис­хо­дит.


Опи­ши­те ал­го­ритм воз­ве­де­ния числа a в 255 сте­пень с по­мо­щью толь­ко опе­ра­ции умно­же­ния:

1)  За 14 опе­ра­ций умно­же­ния без ис­поль­зо­ва­ния до­пол­ни­тель­ной па­мя­ти (то есть раз­ре­ша­ет­ся ис­поль­зо­вать толь­ко ис­ход­ное число и ре­зуль­тат по­след­ней опе­ра­ции).

2)  За 10 опе­ра­ций умно­же­ния с ис­поль­зо­ва­ни­ем лю­бо­го ко­ли­че­ства до­пол­ни­тель­ной па­мя­ти.

3)  За 10 опе­ра­ций умно­же­ния с ис­поль­зо­ва­ни­ем одной ячей­ки до­пол­ни­тель­ной па­мя­ти (то есть по­ми­мо ис­ход­но­го числа и ре­зуль­та­та по­след­ней опе­ра­ции, раз­ре­ша­ет­ся дер­жать в па­мя­ти ещё одно число. Это число может ме­нять­ся в про­цес­се ра­бо­ты ал­го­рит­ма).

 

За­ме­ча­ние: вер­ное ре­ше­ние для 11.3 будет за­счи­ты­вать­ся и для 11.2.


По­строй­те ло­ги­че­скую схему с ше­стью вхо­да­ми и одним вы­хо­дом.

На вход подаётся по­сле­до­ва­тель­ность нулей и еди­ниц (свер­ху вниз). Схема долж­на вы­да­вать зна­че­ние «1» («ИС­ТИ­НА») на тех (и толь­ко на тех) по­сле­до­ва­тель­но­стях, в ко­то­рых для лю­бо­го на­чаль­но­го от­рез­ка ко­ли­че­ство нулей не пре­вос­хо­дит ко­ли­че­ство еди­ниц.

Так, 101010  — под­хо­дя­щая по­сле­до­ва­тель­ность, а 110001  — нет, так как среди пер­вых пяти эле­мен­тов три нуля и толь­ко две еди­ни­цы.


На вход подаётся по­сле­до­ва­тель­ность нулей и еди­ниц (свер­ху вниз). Схема долж­на вы­да­вать зна­че­ние "1" ("ИС­ТИ­НА") на тех (и толь­ко на тех) по­сле­до­ва­тель­но­стях, в ко­то­рых для лю­бо­го на­чаль­но­го от­рез­ка ко­ли­че­ство нулей не пре­вос­хо­дит ко­ли­че­ство еди­ниц.

Так, 101010  — под­хо­дя­щая по­сле­до­ва­тель­ность, а 110001  — нет, так как среди пер­вых пяти эле­мен­тов три нуля и толь­ко две еди­ни­цы.

До­ка­жи­те, что можно по­стро­ить такую ло­ги­че­скую схему для n > 100 вхо­дов, ис­поль­зо­вав не более  дробь: чис­ли­тель: левая круг­лая скоб­ка левая круг­лая скоб­ка n плюс 2 пра­вая круг­лая скоб­ка в квад­ра­те пра­вая круг­лая скоб­ка , зна­ме­на­тель: 4 конец дроби ло­ги­че­ских эле­мен­тов.


Най­ди­те ко­ли­че­ство таких по­сле­до­ва­тель­но­стей длины n из нулей и еди­ниц, в ко­то­рых для лю­бо­го на­чаль­но­го от­рез­ка ко­ли­че­ство нулей не пре­вос­хо­дит ко­ли­че­ство еди­ниц.

Так, 101010  — под­хо­дя­щая по­сле­до­ва­тель­ность, а 110001  — нет, так как среди пер­вых пяти эле­мен­тов три нуля и толь­ко две еди­ни­цы.


Опи­ши­те мно­же­ство всех по­сле­до­ва­тель­но­стей из букв a и b таких, что в любом на­бо­ре под­ряд иду­щих сим­во­лов (длины боль­ше 1) букв a не мень­ше, чем букв b

Об­ра­ти­те вни­ма­ние! В от­ли­чие от преды­ду­щей за­да­чи, рас­смат­ри­ва­ют­ся не толь­ко на­чаль­ные от­рез­ки по­сле­до­ва­тель­но­сти, а во­об­ще любые!

Для опи­са­ния ис­поль­зуй­те фор­му­лы, ко­то­рые на­зы­ва­ют­ся ре­гу­ляр­ны­ми вы­ра­же­ни­я­ми.

Так для по­вто­ре­ния блока из не­сколь­ких букв ис­поль­зуй­те опе­ра­цию "звез­доч­ка" (ите­ра­ция), на­при­мер, (abb)* за­да­ет мно­же­ство слов {пу­стое слово, abb, abbabb, abbabbabb, ...} Умно­же­ние мно­жеств (эту опе­ра­цию, как обыч­но в ал­геб­ре, изоб­ра­жа­ют точ­кой или во­об­ще опус­ка­ют, что мы и будем де­лать), опи­сы­ва­ет склей­ку всех слов пер­во­го мно­же­ства со сло­ва­ми вто­ро­го (тре­тье­го и т. д.), на­при­мер a*cb* обо­зна­ча­ет мно­же­ство слов: {с, ac, cb, acb, aac, ..., aaa...acb.. b, ...}. Об­ра­ти­те вни­ма­ние что слова, в ко­то­рых нет букв a или b, по­лу­ча­ют­ся за счет того, что ре­зуль­тат ите­ра­ции может не со­дер­жать сим­во­лов, то есть быть пу­стым сло­вом.

По­след­ней опе­ра­ци­ей, ко­то­рая ис­поль­зу­ет­ся в фор­му­лах, яв­ля­ет­ся сло­же­ние. Сло­же­ние со­от­вет­ству­ет объ­еди­не­нию мно­жеств. Так обо­зна­че­ние (a + b) c + d(ac*+) опи­сы­ва­ет мно­же­ство всех по­сле­до­ва­тель­но­стей из букв a и b (обо­зна­ча­ет­ся (a +  b)*), к концу ко­то­рых при­со­еди­не­на буква c, объ­еди­нен­но­го с мно­же­ством слов, на­чи­на­ю­щих­ся с буквы d, за ко­то­рой сле­ду­ет буква a, а за ней любое число букв c и ещё одним од­но­бук­вен­ным сло­вом (d умно­жить на пу­стое слово  — это d).

Слева при­ве­де­ны при­ме­ры слов, ко­то­рые удо­вле­тво­ря­ют на­ше­му усло­вию, спра­ва при­ме­ры слов, ко­то­рые не удо­вле­тво­ря­ют ему. Бла­го­да­ря под­свет­ке вы мо­же­те ви­деть, какие из этих при­ме­ров и контр­при­ме­ров удо­вле­тво­ря­ют по­стро­ен­но­му вами вы­ра­же­нию, а какие  — нет.


Опи­ши­те мно­же­ство всех по­сле­до­ва­тель­но­стей из букв a и b таких, что в любом на­бо­ре под­ряд иду­щих сим­во­лов (длины боль­ше 1) букв a не мень­ше, чем букв b.

Дан­ная схема со­сто­ит из вер­шин (на­зы­ва­е­мых со­сто­я­ни­я­ми) и стре­лок, сим­во­ли­зи­ру­ю­щих пра­ви­ла, по ко­то­рым ра­бо­та­ет эта схема. Схема на­чи­на­ет ра­бо­ту в на­чаль­ном со­сто­я­нии S0, вы­де­лен­ном оран­же­вым. По­сту­па­ю­щее на ход слово ана­ли­зи­ру­ет­ся по­сим­воль­но. При рас­смот­ре­нии каж­до­го сим­во­ла мы пе­ре­хо­дим из те­ку­ще­го со­сто­я­ния по стре­лоч­ке, над ко­то­рой на­пи­сан этот сим­вол.

После того, как всё слово про­ана­ли­зи­ро­ва­но, мы за­кан­чи­ва­ем ра­бо­ту в одном из со­сто­я­ний. Не­ко­то­рые со­сто­я­ния не­об­хо­ди­мо по­ме­тить как ко­неч­ные (жир­ная каёмка). Это те со­сто­я­ния, в ко­то­рых мы ока­зы­ва­ем­ся, про­ана­ли­зи­ро­вав нуж­ные слова.


По­строй­те ма­ши­ну Тью­рин­га, ко­то­рая в любую по­сле­до­ва­тель­ность из букв a и b до­бав­ля­ет буквы a так, чтобы между лю­бы­ми бук­ва­ми b было бы хотя бы две буквы a.

На­при­мер, по­сле­до­ва­тель­ность babba долж­на пре­вра­тить­ся в baabaaba На­чаль­ное со­сто­я­ние s, ко­неч­ное f.

Всего: 71    1–20 | 21–40 | 41–60 | 61–71