Jan. 18th, 2017

juan_gandhi: (Default)
В домашке спрашиваю:

  1. What's the difference between a regular language defined by a deterministic finite state machine and a non-deterministic finite state machine?

Let's see what they say. 
juan_gandhi: (Default)
Короче, к проблеме обмена товарами вдруг (в голове одни монады) подошел с категорной точки зрения; некоторым понравится. Прежде всего, категории-то могут быть не ахти какие, просто poset какой-нибудь, неважно. Итак, если А имеет товар x, а B имеет товар y, то на каких условиях оба захотят обменять эти свои товары? Это если придумать "функтор" F: A→B, отнимающий вещи у A и отдающий B - в восприятии B, и наоборот, функтор G:B→A, отнимающий вещи у B и отдающий A - в восприятии A. Если F(x)→y и G(y)→x (напомню, у нас посет, конкретные стрелки (пока) не важны), то обоим интересно обменяться. Я тут вижу сопряженные функторы между A и Bop, или, что эквивалентно, между Aop и B. Все это как бы очевидно, хотя и вилами на воде. Но меня интересует монада, композиция F и G. Такое ощущение, что это монада вида "мне эта корова нужна самому". Я все сказал. Я не экономист, не философ, мне просто языком почесать на досуге. Кстати, вместо алгебр ("мне эта корова") можно подумать и про категорию Клайсли ("схожу на рынок, продам, потом куплю дешевле - буду с прибылью"). Хз; признаюсь, совершенно не моя епархия.

Profile

juan_gandhi: (Default)
juan_gandhi

September 2017

S M T W T F S
      1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
1718 1920 21 22 23
24252627282930

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 25th, 2017 06:35 pm
Powered by Dreamwidth Studios