Обсуждение:L-система

This article is rated B-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects:

Systems Mid‑importance This article is within the scope of WikiProject Systems, which collaborates on articles related to systems and systems science.SystemsWikipedia:WikiProject SystemsTemplate:WikiProject SystemsSystems Mid This article has been rated as Mid-importance on the project's importance scale. This article is not associated with a particular field. Fields are listed on the template page. Mathematics This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics ??? This article has not yet received a rating on the project's priority scale. Computer science Low‑importance This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.Computer scienceWikipedia:WikiProject Computer scienceTemplate:WikiProject Computer scienceComputer science Low This article has been rated as Low-importance on the project's importance scale. Things you can help WikiProject Computer science with: Here are some tasks awaiting attention: Article requests : Requested articles/Applied arts and sciences/Computer science, computing, and Internet Cleanup : Computer science articles needing attention Computer science articles needing expert attention Copyedit : Computing Expand : Computer science Infobox : Computer science articles without infoboxes Maintain : Timeline of computing 2020–present Photo : Find pictures for the biographies of computer scientists (see List of computer scientists) Computing articles needing images Stubs : Computer science stubs Unreferenced : WikiProject Computer science/Unreferenced BLPs Project-related : Tag all relevant articles in Category:Computer science and sub-categories with {{WikiProject Computer science}}

Этот абзац мне неясен:

Как L-система эти мозаики называются ромбами Пенроуза и плитками Пенроуза. Приведенные выше рисунки были созданы для n=6 как L-система. Если мы правильно наложим плитки Пенроуза как L-систему, мы получим следующую мозаику:

Он не определяет, что такое n . Он не определяет, что означает «правильно накладываться как L-система» . Он не говорит, какая L-система использовалась для создания этих изображений. Я не могу угадать их из контекста. -- LC

в примере с пылью Кантера, он содержит линию "константы" около 60 градусов. что эта линия там делает? Я думаю, что это неправильно.

В примере со снежинкой Коха разве знаки плюс и минус не должны быть частью алфавита?

Я думаю, что пример с мозаикой Пенроуза немного надуман. Мозаика Пенроуза апериодична. Поэтому я сомневаюсь, что ее можно свести к системе замены строк.

также, я не уверен, что L-Sytem имеет место в серьезной математике. Если да, то это или относится к формальной логике. Стоит ли упоминать?

Спасибо.

Xah P0lyglut 11:18, 15 января 2004 г. (UTC)

В примере 3, Cantor Dust, для чего используются константы? (Я даже не уверен, одну, две или три константы вы пытаетесь перечислить.) Похоже, вы их никогда не используете.

Что касается кривой Коха, то + и - не должны быть константами (очевидно, что для них нет производных). Согласно данному определению, алфавит состоит из переменных, поэтому я не согласен с автором поста, который просит включить их в алфавит.

Я бы хотел увидеть одну итерацию более высокого порядка (n=20 ?) кривой Коха. По моему мнению, результат показателен и весьма впечатляет, особенно для новичков в этой теме.

Все три изображения мозаик Пенроуза не имеют тегов и не имеют информации об авторстве (датируются до "большого преобразования"). Я думаю, когда начнется следующий джихад не имеющих тегов изображений, эти изображения вполне могут встретить бесконечное правосудие, поэтому нам нужно как можно скорее начать думать о замене для них. Это досадно, так как это действительно привлекательные изображения. -- Финли МакУолтер | Talk 15:17, 7 октября 2005 (UTC) [ ответить ]

Эти изображения были сделаны мной с помощью Winfract версии 18.21, и мы можем пометить их как общественное достояние. Я сделаю это прямо сейчас. -- xJaM 14:02, 21 октября 2005 (UTC) [ ответить ]

Оригинальная L-система Линденмайера для моделирования роста водорослей.

переменные  : AB

константы  : нет

начало  : А

правила  : (А → АВ), (Б → А)

который производит:

n=0 : А → АВ

n=1 : АВ → АВА

n=2 : АБА → АБААБ

n=3 : АБААБ → АБААБАБА

Я бы ожидал, что это будет выглядеть так, в соответствии с тем, как показаны остальные:

n=0 : А

n=1 : АВ

n=2 : АБА

n=3 : АБААБ

n=4 : АБАБАБАБ

Я что-то упустил? Hogan 02:11, 29 апреля 2006 (UTC) [ ответить ]

Да, вы правы - формат Примера 1 не соответствовал формату других примеров. Я это исправил. Gandalf61 08:16, 2 мая 2006 (UTC) [ ответить ]

Поскольку у меня возникли проблемы с реализацией первоначального примера, я бы предложил следующее (только в первом примере, чтобы сделать принцип более понятным):

 n=0: Начало/аксиома/инициатор / \ n=1: AB одиночный A порождает A, за которым следует B /| \ n=2: ABA бывший A снова порождает AB, B превращается в A /| | |\ n=3: ABAAB обратите внимание, что все A производят копию себя в первую очередь, затем B, который превращается /| | |\ |\ \ n=4: ABAABABA в A на одно поколение позже, затем начинается размножение/повторение/рекурсия

который вдохновлен (существующей) внешней ссылкой [1] (13 МБ!). Может быть, изображение вместо ASCII-графики было бы даже более уместным?

Также пример Фибоначчи 2 ссылается на пример 1. Тогда пример 1 должен иметь начало/аксиому/инициатор B (и диаграмма выше должна быть расширена соответственно), в противном случае ссылка не верна! - Deerwood (обс.) 05:02, 1 июля 2008 (UTC) [ ответить ]

Пример 1 явно неверен. Также непонятно, что означает терминология (A → AB), (B → A). Означает ли (A → AB) «за A следует AB»? Или это означает «за A следует AB»?

Если (A → AB означает «За A следует AB», то пример 1 явно неверен. В этом случае мы бы имели

n=0 : А

n=1 : ААБ

n=2 : ААБА

n=3 : ААБААБ

n=4 : AABAABA и так далее. Короче говоря, вы бы всегда получали только повторение AAB снова и снова. Поскольку это, очевидно, не то, что делает L-система, ваше объяснение, похоже, не прояснило, что происходит.

Если же, с другой стороны, (A → AB) означает "A заменяется на AB", то ваш первый пример также явно неверен. В этом случае мы получим

n=0 : А

n=1 : АВ

n=2 : АБА

n=3 : ABAB

n=4: ABABA и так далее. Короче говоря, простое повторение AB снова и снова. Это также явно не то, что делает L-система.

Так что либо я чего-то совершенно не понимаю, либо приведенные вами правила используются каким-то образом, который совершенно не ясен из вашего объяснения, либо пример 1 просто неверен.

В любом случае, было бы очень полезно получить больше разъяснений относительно того, что именно означают символы и как именно должны работать правила. — Предыдущий неподписанный комментарий добавлен 140.211.8.7 ( обсуждение ) 20:28, 31 октября 2013 (UTC) [ ответить ]

Другой хороший пример — кривая дракона . Она описывается следующей L-системой:

переменные  : LR

константы  : + −

начало  : Р

правила  : (П → П+Л), (Л → П−Л)

означает, соответственно:

Л, П — шаг вперед

плюс — поворот направо на 90°

минус — поворот налево на 90°

Некоторые начальные строки:

n=0 : Р

n=1 : П+Л

n=2 : П+Л+П−Л

n=3 : Р+Л+Р−Л+Р+Л−Р−Л

n=4 : Р+Л+Р−Л+Р+Л−Р−Л+Р+Л+Р−Л−Р+Л−Р−Л

CiaPan 20:53, 6 октября 2006 (UTC) [ ответить ]

Я добавил graftal в раздел "См. также", но нужна ли ему отдельная статья? Кажется, особой разницы между L-системами и graftals нет. Возможно, статьи следует объединить. Что вы думаете? -- Sakurambo桜ん坊13:53, 15 мая 2007 (UTC) [ ответить ]

Это хорошее предложение, поскольку, как вы отметили, особой разницы нет. Фактически, графтал — это L-система. Поэтому я определенно поддерживаю эту идею. Kwvan ( talk ) 18:29, 12 октября 2009 (UTC) [ ответить ]

Некоторые из примеров, приведенных в этой статье, немного бесполезны. Первый пример не дает никаких объяснений происходящего. Какое отношение строка "ABAABABAABAABAABABABAABAABABAABAAB" имеет к водорослям? Если единственная важная информация — это длина каждой последовательности, то чем это отличается от моделирования популяций кроликов Фибоначчи? Второй пример совершенно излишен — первый пример также генерирует последовательность Фибоначчи, если вы не заметили, и в любом случае существует гораздо более простой алгоритм для вычисления этой серии, так каким образом это может быть полезным примером возможностей L-системы? Примеры 5 и 9 совершенно бесполезны без правил, используемых для получения этих цифр. -- Sakurambo桜ん坊14:10, 15 мая 2007 (UTC) [ ответить ]

Алгоритм мозаики Пенроуза приведен в одноименной статье, хотя синтаксис отличается. Я мог бы попытаться перевести между обозначениями сам, но я не люблю вносить ошибки. Модифицированная кривая Коха, в которой я не уверен, со страницы кривых Коха, стандартная кривая использует

 Алфавит: Ф Константы: +, − Аксиома: F++F++F Правила производства: Ф → Ф−Ф++Ф−Ф

Я предполагаю, что вариант будет чередовать правило производства между F → F−F++F−F и F → ​​F+F--F+F, хотя это чистое предположение из описания, я понятия не имею, как это было на самом деле сгенерировано. Что касается критики первых примеров, водоросли были просто тем, рост чего он исторически пытался смоделировать, я не думаю, что это должно было представлять полезные возможности системы, скорее, чтобы предоставить пример, который соотносит его с хорошо известным алгоритмом. Nazlfrag ( talk ) 06:27, 13 июня 2008 (UTC) [ ответить ]

Я добавил пояснительный ASCII-арт к первому примеру и надеюсь, что его не удалят сразу же без обсуждения.

Посетители/читатели энциклопедии не должны быть математиками, программистами или специалистами в каком-либо отношении, не так ли? Читатели должны, по крайней мере, понимать концепцию/основы... может быть, один или другой читатель затем вдохновится читать дальше, учиться и понимать? И, может быть, вносить свой вклад? - Deerwood (обсуждение) 03:38, 3 июля 2008 (UTC) [ ответить ]

Есть ли ссылка на утверждение, что "L-системы также могут быть использованы для генерации самоподобных фракталов, таких как итерированные функциональные системы"? Ричард Пинч ( обсуждение ) 21:17, 16 июля 2008 (UTC) [ ответить ]

Я удалил часть об IFS во введении, так как я думал, что это было сказано вводящим в заблуждение образом. В моем понимании IFS и L-системы считаются двумя разными методами, оба из которых способны генерировать фрактальные объекты. Часто L-система (обычно с интерпретацией Turtle) и IFS могут генерировать один и тот же объект (например, кривую Коха), однако в этих случаях мы бы не сказали, что L-система сама генерирует IFS (т. е. набор преобразований). Формальное отношение между IFS и L-системами является областью исследований, которая могла бы служить отдельным разделом. Существуют методы построения эквивалентных IFS из определенных видов L-систем [2] (эквивалентные означают, что каждая из них генерирует один и тот же объект), а также методы выражения определенных видов IFS как эквивалентных L-систем [3]. Поскольку они довольно выразительны, возможно, вы *могли бы* иметь L-систему, которая буквально генерирует IFS. Однако я не думаю, что это то, о чем говорилось во введении, поскольку генерация фракталов L-системы чаще всего описывается в контексте графики Turtle. Druggiero ( обсуждение ) 02:08, 18 марта 2018 (UTC) [ ответ ]

Примеры 1 и 2 представляют собой практически одну и ту же систему; наличие обеих систем несколько избыточно.

Пример 3(?) Пример с пылью следует изменить, чтобы использовать общепринятые обозначения, а именно F для движения вперед и f для движения вперед.

Пример 5(?) Пример мозаики Пенроуза не содержит правил для системы; правила необходимо добавить или пример следует удалить.

Все примеры действительно нуждаются в переработке; термин «константы» не используется ни в одной из опубликованных статей по L-системам.

В статье можно использовать примеры различных распространенных типов L-систем: стохастических (случайных), параметрических и контекстно-зависимых.

87.194.144.173 ( обсуждение ) 15:36, 3 мая 2010 (UTC) [ ответить ]

Правила дают:

n = 1: АБАn = 2 : АБАББАБАn = 3: АБАББАБАБББББББАБАББАБАn = 4 : ABABBBABABBBBBBBBBABABBBABABBBBBBBBBBBBBBBBBBBBBBBBBBBABABBBABBBBBBBBBBBABABBBABA

теперь только если каждую строку масштабировать до одинаковой длины, можно получить что-то вроде картинки. -- Paddy ( обсуждение ) 23:33, 14 мая 2011 (UTC) [ ответить ]

Масштабирование настолько типично, что, возможно, его упустили из виду, чтобы упомянуть. Сама L-система — это просто эволюция строк символов от одного поколения к другому. Вдобавок к этому можно подавать строку символов каждого поколения как последовательность команд в чертежную машину, например, (LOGO) Turtle. Чтобы добиться какой-то сходимости, нужно заботиться о том, как символы соотносятся с командами. Это означает корректировку углов и размеров шагов, а также ориентации черепахи в начальной точке, если она в 2D. В примере Кантора это просто — в три раза больше символов, каждый шаг вперед, означает одну треть размера шага от одного поколения к другому.-- LutzL ( talk ) 13:19, 15 мая 2011 (UTC) [ ответить ]

Не желая делать никаких заявлений о фактах, можно ли переработать или удалить предложения "да: в теории языка Хомский является ультраконсервативным"? Это не очень похоже на энциклопедию. В целом, весь абзац "консервативный Хомский... относится к Хомскому.[2]" должен быть, вероятно, не во введении к статье, а, возможно, в каком-то более позднем месте. 95.117.217.100 (обсуждение) 11:24, 25 июля 2011 (UTC) [ ответить ]

Я удалил этот абзац из лида статьи. Я не совсем уверен, что пытался сказать редактор, написавший это, но в любом случае это не имеет отношения к теме статьи. Gandalf61 ( обсуждение ) 11:40, 25 июля 2011 (UTC) [ ответ ]

Я не очень хорошо знаю L-системы, но в общих формальных языках контекстно-свободные являются строго большим классом, чем упомянутые эквиваленты обычных языков. Кажется, это применимо и здесь. Может ли кто-то компетентный взглянуть на это и в конечном итоге исправить это? Neználek ​​( talk ) 13:17, 11 апреля 2012 (UTC) [ ответить ]

См. тему обсуждения «подмножество или надмножество» ниже. 67.198.37.16 ( обсуждение ) 20:53, 11 февраля 2024 (UTC) [ ответить ]

На данный момент я не могу сказать, предполагается ли, что это о каком-то типе математики или о чем-то еще. В статье куча изображений случайных растений, и она полностью посвящена биологии и другим нематематически вещам. Я почти уверен, что концепция «L-системы» чисто математическая... пожалуйста, удалите эти вспомогательные или косвенные «связи» или, по крайней мере, больше не делайте их центром статьи. — Предыдущий неподписанный комментарий, добавленный 71.201.95.139 (обсуждение) 21:02, 8 мая 2013 (UTC) [ ответить ]

L-системы — это математическая концепция, которая применяется в моделировании растений и других организмов. Мы не можем писать о L-системах, не упоминая эти приложения. Однако я изменил вводный абзац так, чтобы он говорил о том, что такое L-система, до того, как упоминать приложения в биологии. Gandalf61 ( talk ) 08:48, 9 мая 2013 (UTC) [ ответить ]

Редактирование RCB Я тоже так думаю, статья не точна. Например, "модели роста различных типов водорослей , таких как сине-зеленые бактерии Anabaena catenula". - Водоросли - это НЕ БАКТЕРИИ! — Предыдущий неподписанный комментарий добавлен 62.61.159.141 (обсуждение) 13:38, 22 июня 2015 (UTC) [ ответить ]

В статье говорится о том, что известно как цианобактерии. Одно из распространенных названий цианобактерий — «сине-зеленые водоросли». Это может быть неправильным названием, но оно не противоречит общепринятому использованию. — Предыдущий неподписанный комментарий добавлен 2003:69:CD6A:F401:D189:4DF8:E1B0:B7D0 (обсуждение) 11:53, 15 сентября 2015 (UTC) [ ответить ]

Это не противоречит общепринятому использованию термина «сине-зеленые водоросли», но термин « водоросли» не включает сине-зеленые водоросли . Ссылаться на один случай как на общий, а на другой как на частный случай, явно неправильно. Настоящий Мародер ( обсуждение ) 21:18, 18 мая 2017 (UTC) [ ответить ]

В статье в разделе «Структура L-системы» говорится, что «L-системы являются строгими подмножествами языков». Поскольку формальные языки производятся путем применения только одного правила производства за раз в каждой итерации, но L-системы применяют все возможные правила производства соответствия в каждой итерации, не следует ли считать L-системы надмножествами языков (или, что эквивалентно, что языки являются строгими подмножествами L-систем)? В настоящее время нет ни одной ссылки или цитирования для утверждения о подмножестве. —  Loadmaster ( talk ) 15:40, 25 октября 2016 (UTC) [ ответить ]

«Языки», как обычно понимается, состоят из набора правил производства (или правил переписывания терминов, или синтаксиса - элементов синтаксической грамматики), применяемых в одном фиксированном месте в пространстве (обычно в неопределенном месте, например, «внутри компьютера»). Традиционная иерархия Хомского применима только к этой концепции языка, происходящего только в одном месте. Напротив, L-системы происходят во многих физических местах, все в одно и то же время. Идея состоит в том, что каждая биологическая клетка содержит ДНК/РНК, которая кодирует систему переписывания терминов или некоторый синтаксис/грамматику, и, поскольку эта клетка, по мере того как она живет и растет, выражает эту грамматику в том месте, где находится эта клетка. Это связано с идеей клеточного автомата, а также с распределенными вычислениями .

Пока все хорошо. Теперь вот в чем фокус: вы можете взять карандаш и нарисовать большую рамку вокруг всей L-системы, и сказать: «все внутри нее происходит в одном месте», и определить «большой» язык, который является (декартовым) произведением всех «маленьких» отдельных языков, работающих в каждой ячейке. Общая теорема заключается в том, что декартово произведение нескольких машин Тьюринга (или конечных автоматов) не более мощно, чем одна машина Тьюринга (или конечный автомат). Таким образом, в обычной иерархии Хомского они находятся на одном уровне, имеют одинаковую мощность. Полученный язык не является ни надмножеством, ни подмножеством, но одинаково выразителен.

Вышеизложенное справедливо, когда мы работаем с фиксированным, конечным числом автоматов/машин Тьюринга (конечномерное декартово произведение). Единственный способ избежать этого вывода о выразительной силе языков — взять предел. В этом пределе вещи... работают по-другому. Результат этого предела называется геометрическим автоматом , и так называемые квантовые компьютеры являются его частными случаями. Многие люди любят представлять, что квантовые компьютеры — это своего рода машины Тьюринга с бесконечным числом состояний, но из-за теоремы о запрете клонирования они не могут иметь лент, поэтому это неправильный способ их представления. Правильной концепцией предела машины Тьюринга является группа автоморфизмов однородного пространства . Символы/переписываемые термины/грамматика — это просто правила, которые генерируют последовательности автоморфизмов, которые должны применяться к пространству. Останавливающая функция («это вычисление дошло до своего завершения, и машина остановилась, и вот ответ: его 42») является интегралом по мере, определяемой сигма-алгеброй Бореля по пространству (вы не можете использовать меру Лесбега для этого, потому что она полна; см., например, абстрактное пространство Винера , чтобы узнать, почему это является проблемой). Эти типы систем не вписываются чисто в традиционную иерархию Хомского, и вычислительная выразительная сила таких систем плохо изучена. Это активная область исследований, она называется описательной теорией множеств , где изучаются свойства (жирной) иерархии Бореля .${\displaystyle n\to \infty }$${\displaystyle n\to \infty }$

Вышеизложенное — это общий набросок. Я не знаю ни одной существующей статьи в Википедии, которая бы резюмировала то, что я написал выше. Большая часть того, что я написал выше, была разработана в 1980-х, 1990-х годах специалистами по динамическим системам, и поэтому считается «хорошо известным» теми, кто это знает. Но я не знаю ни одной центральной или основополагающей книги, журнала или «теории», которая охватывает это; это своего рода разбросанная информация и разброс по журналам. Я думаю, может быть, работа над софическими сдвигами ( пространствами сдвигов ) является настолько центральной, насколько это возможно, но она имеет лишь слабое совпадение с описательной теорией множеств. Люди, занимающиеся квантовыми вычислениями, в основном игнорируют все это, так или иначе. Причина, по которой они это игнорируют, — эргодичность , она же «шум»: если вы просто примените кучу автоморфизмов к некоторому однородному пространству, вы, как правило, получите размытый беспорядок, также известный как «термализация». Люди, занимающиеся квантовыми вычислениями, изо всех сил пытаются не термализоваться. У них нет возможности подняться «вверх» по иерархии Бореля. Вот почему L-системы интересны: если вы поместите каждую систему в бутылку (вакуумную бутылку, термос), где внешние силы не смогут испортить внутреннее состояние, то вы сможете выполнять значимые и осмысленные вычисления. Это магия билипидного слоя в биологических клетках: он изолирует внутреннюю часть клетки от внешнего мира, позволяя рибосомам и ДНК делать свое дело. Однако, учитывая споры о «происхождении жизни» и аутопоэзис ху -ха, никто на самом деле не понимает, как на самом деле работает такая изоляция. Ничто в эргодической теории или термодинамике не говорит вам, как это сделать, в формальном строгом математическом смысле теории доказательств. L-системы — один из наиболее надежных подходов, которые у нас есть сейчас, к этой конкретной проблеме. Эта статья в основном представляет собой научно-популярное описание L-систем; она игнорирует формальную работу. 67.198.37.16 ( обсуждение ) 20:46, 11 февраля 2024 (UTC) [ ответить ]

Должно быть 60 градусов, а не 90 градусов. Flaviusvulso ( обсуждение ) 19:25, 24 марта 2017 (UTC) [ ответить ]

Здравствуйте, уважаемые википедисты!

Я только что изменил 2 внешние ссылки на L-system . Пожалуйста, уделите немного времени, чтобы просмотреть мои правки. Если у вас есть какие-либо вопросы или вам нужно, чтобы бот игнорировал ссылки или страницу в целом, посетите этот простой раздел FaQ для получения дополнительной информации. Я внес следующие изменения:

• Добавлен архив https://web.archive.org/web/20020503212834/http://spanky.triumf.ca/WWW/FRACTINT/lsys/truefractal.html в http://spanky.triumf.ca/www/fractint/lsys/truefractal.html
• Добавлен архив https://web.archive.org/web/20031220074045/http://www.generation5.org/content/2002/lse.asp в http://www.generation5.org/content/2002/lse.asp

Закончив просмотр моих изменений, вы можете следовать инструкциям в шаблоне ниже, чтобы исправить любые проблемы с URL-адресами.

Это сообщение было опубликовано до февраля 2018 года . После февраля 2018 года разделы страниц обсуждения "Внешние ссылки изменены" больше не генерируются и не отслеживаются InternetArchiveBot . Никаких специальных действий в отношении этих уведомлений страниц обсуждения не требуется, кроме регулярной проверки с использованием инструкций инструмента архивации ниже. Редакторы имеют право удалять эти разделы страниц обсуждения "Внешние ссылки изменены", если они хотят очистить страницы обсуждения от загромождения, но перед выполнением массовых систематических удалений ознакомьтесь с RfC . Это сообщение динамически обновляется через шаблон (последнее обновление: 5 июня 2024 г.) .{{source check}}

• Если вы обнаружили URL-адреса, которые бот ошибочно посчитал нерабочими, вы можете сообщить о них с помощью этого инструмента.
• Если вы обнаружили ошибку в архивах или самих URL-адресах, вы можете исправить их с помощью этого инструмента.

Привет.— InternetArchiveBot ( Сообщить об ошибке ) 22:01, 25 мая 2017 (UTC) [ ответить ]

Привет, кривая_Гильберта#Представление_как_система_Линденмайера не так дидактична, как здесь, можете ли вы добавить кривую Гильберта (более дидактичным способом) в качестве еще одного примера?

Одна из перечисленных открытых проблем — найти L-систему, которая ее создает, имея структуру. Это больше не открытая проблема. Работа Джейсона Бернарда (меня) и Яна МакКвиллана в значительной степени решила ее в период с 2016 по 2020 год. Детерминированные, стохастические и параметрические L-системы могут быть легко выведены из структуры (последовательности строк). Было обнаружено, что контекстно-зависимость оказывает незначительное влияние на сложность вывода. У нас также скоро выйдет еще одна статья о выводе гомоморфных L-систем.

Моя диссертация (в которой есть практически все): Бернард, Дж. (2020). Вывод различных типов систем Линденмайера с использованием искусственного интеллекта (докторская диссертация, Университет Саскачевана).

Для детерминированных L-систем: Джейсон Бернард, Иэн МакКуиллан, Методы вывода контекстно-свободных систем Линденмайера с помощью генетического алгоритма, Swarm and Evolutionary Computation, том 64, 2021, 100893, ISSN 2210-6502, https://doi.org/10.1016/j.swevo.2021.100893

Для стохастических L-систем: Бернард, Дж., МакКуиллан, И. Вывод стохастической L-системы из нескольких входных последовательностей строк. Soft Comput 27, 6783–6798 (2023). https://doi.org/10.1007/s00500-022-07683-8

Для параметрических L-систем: J. Bernard и I. McQuillan, «Вывод временных параметрических L-систем с использованием декартового генетического программирования», 32-я международная конференция IEEE 2020 по инструментам с искусственным интеллектом (ICTAI), Балтимор, Мэриленд, США, 2020, стр. 580-588, doi: 10.1109/ICTAI50040.2020.00095.

Для чувствительности к контексту: McQuillan, I., Bernard, J., Prusinkiewicz, P. (2018). Algorithms for Inferring Context-Sensitive L-Systems. В: Stepney, S., Verlan, S. (ред.) Unconventional Computation and Natural Computation. UCNC 2018. Lecture Notes in Computer Science(), т. 10867. Springer, Cham. https://doi.org/10.1007/978-3-319-92435-9_9 50.100.214.247 ( talk ) 02:59, 25 ноября 2024 (UTC) [ ответить ]