14 августа 2012 г. (вторник), 16:00, ауд. 615
Е. Асарин (LIAFA и ИППИ):
Энтропия темпоризованных языков
Аннотация:
Дан язык из слов, состоящих из букв и чисел (1.17 а 2.156 с 0.3 с 0.17 а).
Такие языки встречаются при моделировании систем реального времени или телеметрической информации и распознаются темпоризованными автоматами (timed automata). Хочется узнать, сколько информации (в битах на символ) содержится в типичных словах из языка (в смысле динамических систем, или колмогоровской сложности или пропускной способности канала). Мы научились характеризовать это количество информации с помощью интегральных операторов, вычислять его приближенно, а иногда и точно. В качестве частных случаев получаются забавные асимптотики для объемов семейств многогранников.
Доклад основан на работе автора с А. Дегорром и Н. Бассэ.
| 14.08.2012 | Петров Леонид Александрович |