Daj linka tej strony, bo wydaje mi się, że przekręciłeś zadanie. Po pierwsze w definicji L używasz w i v, a żadne z nich nie występuje po dwukropku??
Jeżeli dobrze rozumiem, to masz język tych słów, w których liczba wystąpień jedynki występuje 3 * k razy. To jest zbyt proste zadanie, żeby tworzyć dla niego NFA. Jeżeli chodzi o deterministyczny (który z definicji jest też niedeterministycznym) to robisz sobie trzy stany. Każdy oznacza resztę z dzielenia liczby jedynek przez 3. Jeżeli wczytasz jedynkę to zmieniasz stan na następny modulo 3, jeżeli zero to zostajesz w stanie. Stanem akceptującym jest pierwszy stan (ten, który oznacza dzielenie modulo 3 z resztą 0).
Drugi przykład jest trochę trudniejszy do opisania (bo łatwiej byłoby to rysować). Generalnie idea jest taka, że najpierw definiujemy automat z epsilon-przejściami (potem łatwo je usunąć). Na automat patrzysz jak na zbiór bloków (każdy blok jest zbiorem stanu i połączeń, który coś robi). Chodzi o to, że wydzielasz takie jakby "procedury". Dla wyrażenia "a" i dla "b" łatwo narysować automat ;-P Potem dla konkatenacji - wystarczy takie bloki zestawić ze sobą i wyjście pierwszego połączyć z wejściem drugiego epsilon-przejściem. Gwiazdkę robi się tak, że bierzesz blok i wyjście łączysz z wejściem epsilon-przejściem. Sumę - wiadomo. Masz dwa bloki, jakieś wejście i robisz rozwidlenie (epsilon-przejścia do wejść każdego z bloków).
Ten proces jest dość łatwy. Jeżeli będziesz chciał to może "wysilę" się na obrazki ;-)
// Edit: Na ważniaku jest opis tego typu rzeczy. Są tam ćwiczenia z odpowiedziami.